広範なカテゴリ理論の知識がない人にアクセスできる例があるリストはありますか?ここでzygo/meta/histo/para/futu/dyna/whatever-morphismsとは何ですか?
答えて
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF)も同様に役立つはずです。表記はちょっと毛深くなりますが、数回それを読んで、あなたのリストをノックダウンすることができます。
また、再帰スキーム(archived)blog postをご覧ください。ブロガーはすぐに個別にプレゼンテーションを行う予定ですので、定期的にチェックしてください。
異型性について学ぶことから始まります。それらは把握するのが最も簡単です。あなたはすでに1つを知っています:foldr
!
次に、アナモフィズム(unfoldr
)とパラモルフィズムのために行ってください。その後、他のWikipediaの記事や論文に行く。それまでに理解しやすくなります。
私はすでにカタ、アナ、ハイロ、メタを把握しているので、私はそれらを問題に言及していません。 :)残りのウィキペディアの記事は非常に広範ではないか存在しません。 – Fixpoint
最近Edward KmettさんがField Guide to recursion schemesを投稿しました。
はい、すでに読んでいます。非常に便利な要約。 – Fixpoint
お寄せいただきありがとうございます。最善の策は、VeneとKabanovのdynamophismの論文から始めることです。それは少なくともヒストとダイナの使用を動機付けするので、そこからあなたはフューチャーを知ることができます。 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.9336 –
ここ再帰スキームのティム・ウィリアムズスライドをチェックアウト:
http://www.timphilipwilliams.com/slides.html
を彼らはそれぞれのやる気例と* -morphismsのすべてを説明します。
- 1. トランスフォームとは何か、トランスフォームとは何ですか?
- 2. jobConfクラスとは何ですか?それは何ですか?
- 3. @privateとは何ですか?その用途は何ですか?
- 4. IPM.Noteとは何ですか?その用途は何ですか?
- 5. _applyプラグインとは何ですか: 'com.google.gms.google-services'_は何ですか?
- 6. Mongoclientとは何ですか?その目的は何ですか?
- 7. 型とは何ですか?スカラーの型コンストラクタは何ですか?
- 8. GraphemeClusterとは何ですか?ExpressibleByExtendedGraphemeClusterLiteralの機能は何ですか?
- 9. オプションとは何ですか?typescriptの[x:string]は何ですか?
- 10. Sqliteとは何ですか?
- 11. イメージハッシュとは何ですか?
- 12. (* new)とは何ですか?
- 13. WCF:ServiceHostとは何ですか?
- 14. __gmon_start__シンボルとは何ですか?
- 15. Control.IsHandleCreatedとは何ですか?
- 16. ADBとは何ですか?
- 17. `+:`と ` - :`は何ですか?
- 18. sun.jnu.encodingとは何ですか?
- 19. シャドウメモリとは何ですか?
- 20. os.geteuid()とは何ですか?
- 21. RFC3986とは何ですか?
- 22. シリアライゼーションプロキシパターンとは何ですか?
- 23. onPrepareOptionsMenuとは何ですか?
- 24. BOOST_ROOTとは何ですか?
- 25. WCFとは何ですか?
- 26. _CDSnapshot_EntityNameとは何ですか?
- 27. ViewControllerとは何ですか?
- 28. REQUEST_CHECK_SETTINGとは何ですか?
- 29. msstdfmt.dllとは何ですか?
- 30. キャッシュタグディレクトリとは何ですか?
なぜあなたはそれらを知りたいですか? (あなたがカテゴリ理論に興味がないなら、私は意味する...) – ShreevatsaR
カテゴリの理論は毎回私のお尻に私をノックする。 –
Zygo-Meta-Histo-Para-Expi-Ali-Docious! – Apocalisp