エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
somehow-morphisms on fixed point written in Haskell - Qiita
なんとかもるふぃずむ written in Haskell λx.x K S K @ はてな - なんとかモルフィズムのHaskell版. ... なんとかもるふぃずむ written in Haskell λx.x K S K @ はてな - なんとかモルフィズムのHaskell版. 各もるふぃずむの概説はほとんど The Hitchhiker's Guide to Morphisms と Recursion Schemes: A Field Guide (Redux) によるものをベースにしています. 現時点では未完成です.1 畳み込み(fold)系 catamorphism anamorphismの双対.2 構造帰納法にあたります. F代数つまりf a -> aなる関数による畳み込み計算を繰り返し適用します. 可換図式 実装コード



2019/07/05 リンク