generated at
2/18/2025, 3:44:00 PM
Generic fold
Catamorphism
/mrsekut-book-4274068056/061 (3.2 リストのおりがみ: ソート)
で「総称的おりがみ」と訳されているものがある
具体的にどういうものを指しているのかよくわかっていない
『Haskell Design Patterns』
の6章に「Generic fold」というキーワードが出てくるけどこれのこと
#??
リスト、数値、木などのデータ型について一つで対応する方法
『Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire』
チュートリアル
『Calculating Functional Programs』
『The Algebra of Programming』