広範な圏論の知識がなくてもアクセスできる例を含むそれらのリストはありますか?
1511 次
5 に答える
21
バナナ、レンズ、封筒、有刺鉄線を使用した関数型プログラミング (PDF)も役立つはずです。記法は少し複雑になりますが、数回読むと、自分のリストをノックダウンできるはずです。
また、再帰スキーム(アーカイブされた) ブログ投稿を見てください。ブロガーは、近日中にそれぞれを個別に紹介する予定です。定期的にチェックしてみてください。
于 2009-05-28T17:03:27.803 に答える
11
Edward Kmett は最近、再帰スキームのフィールド ガイドを投稿しました。
于 2009-06-11T15:13:47.677 に答える
10
カタモルフィズムについて学ぶことから始めましょう。それらは最も把握しやすいです。あなたはすでに1つを知っています：foldr！
次に、アナモルフィズム ( unfoldr) とパラモルフィズムに進みます。それから、他のウィキペディアの記事/論文を参照してください。それまでに、それらは理解しやすくなります。
于 2009-05-28T17:25:30.223 に答える
7
ここで、再帰スキームに関する Tim Williams のスライドをご覧ください。
http://www.timphilipwilliams.com/slides.html
すべての *-morphism について、それぞれの動機付けとなる例を挙げて説明しています。
于 2013-04-18T10:53:58.293 に答える
3
ここから始めましょう:ウィキペディアの「再帰スキーム」カテゴリ。
于 2009-05-28T16:52:45.360 に答える