Quali sono Zygo / meta / isto / para / futu / Dyna / qualsiasi-morfismi?

Question

C'è una lista di loro con esempi accessibili a una persona senza una conoscenza approfondita teoria delle categorie?

Answer 1

programmazione funzionale con le banane, Lenti, buste e filo spinato (PDF) dovrebbe aiutare pure. La notazione otterrà un po 'peloso, ma leggendo un paio di volte si dovrebbe essere in grado di abbattere quella lista del tuo.

Inoltre, dare un'occhiata ai regimi ricorsione (archiviata) post sul blog , il blogger piani su presentando ciascuno individualmente presto, quindi torna ad esso indovinare regolarmente --I.

Answer 2

Inizia con apprendimento su catamorphisms; questi sono i più facili da afferrare. Sapete già uno:! foldr

Poi vai per anamorphisms (unfoldr) e paramorfismi. Solo allora andare per gli altri articoli di Wikipedia / documenti; da allora saranno più facili da capire.

Answer 3

Edward Kmett ha recentemente pubblicato un guida del campo di ricorsione schemi , forse aiuta?

Answer 4

Controlla la presentazione Tim Williams', relativa ai sistemi di ricorsione qui:

http://www.timphilipwilliams.com/slides.html

Essi spiegano tutti i * -morphisms con esempi motivanti di ciascuno.

Answer 5

Ecco un inizio:. Wikipedia "ricorsività schemi" categoria