Quais são Zygo / meta / histo / para / futu / Dyna / whatever-morphisms?

Question

Existe uma lista deles com exemplos acessíveis a uma pessoa sem conhecimento extensivo teoria da categoria?

Answer 1

programação funcional com bananas, lentes, envelopes e arame farpado (PDF) deve ajudar também. A notação vai ter um peludo pouco, mas lê-lo algumas vezes você deve ser capaz de derrubar essa lista de vocês.

Além disso, ter um olhar para os esquemas de recursão (arquivado) post no blog , o blogueiro planos de apresentar cada um individualmente em breve, por isso volte a ele palpite regularmente --Eu.

Answer 2

Comece com aprendizagem sobre catamorphisms; aqueles são os mais fáceis de entender. Você já sabe um:! foldr

Em seguida, ir para anamorphisms (unfoldr) e paramorphisms. Só então ir para os outros artigos da Wikipedia / papéis; então eles serão mais fáceis de entender.

Answer 3

Edward Kmett recentemente postou um href="http://comonad.com/reader/2009/recursion-schemes/" Guia de Campo a recursão esquemas , talvez isso ajuda?

Answer 4

Confira slides Tim Williams sobre os regimes de recursão aqui:

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

Eles explicam todos os -morphisms * com motivando exemplos de cada um.

Answer 5

Aqui é um começo:. "esquemas de recursão" Wikipedia categoria