Was sind Zygo / meta / histo / para / futu / dyna / was auch immer-morphisms?
-
06-09-2019 - |
Frage
Gibt es eine Liste von ihnen mit Beispielen zugänglich für eine Person ohne umfangreiche Kategorie Theorie Wissen?
Lösung
Functional Programming mit Bananen, Linsen, Umschlägen und Stacheldraht (PDF) auch helfen soll. Die Notation wird ein bisschen haarig, aber es ein paar Mal lesen Sie sollten abzureißen von Ihnen diese Liste können.
Werfen Sie auch einen Blick auf die Rekursion Schemata (Archiv) Blogeintrag , der Blogger Pläne präsentiert individuell bald jeder, so schauen sie regelmäßig --I Vermutung zu.
Andere Tipps
Starten Sie über catamorphisms mit dem Lernen; sind diejenigen, die am einfachsten zu erreichen. Sie wissen bereits, ein: foldr
Gehen Sie dann für anamorphisms (unfoldr
) und paramorphisms. Gehen Sie nur dann für die anderen Wikipedia-Artikel / Papiere; Bis dahin werden sie leichter zu verstehen sein.
Edward Kmett gab vor kurzem einen Field Guide zu Rekursion Systeme , vielleicht hilft es?
Schauen Sie sich Tim Williams' slide auf Rekursion Schemata hier:
http://www.timphilipwilliams.com/slides.html
Sie erklären alle * -morphisms mit motivierende Beispiele für jede.
Hier ist ein Anfang. Wikipedia "Recursion schemes" Kategorie