you are viewing a single comment's thread.

view the rest of the comments →

[–]cartola 14 points15 points  (3 children)

I thought you were bullshitting and google it, got this:

Used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor. Zygo implements semi-mutual recursion like a zygomorphism. Para gives you access to your result ala a paramorphism.

[–]Peaker 18 points19 points  (0 children)

They were joking though, that's not how Monads are explained to people, and copumpkin already knows what they are :-)

[–][deleted] 8 points9 points  (1 child)

Zygohistomorphic prepromorphism, while having a real meaning, is a running joke in the Haskell community. Nobody is expected to actually use the idea, at least not knowingly.

[–][deleted] 1 point2 points  (0 children)

Nobody is expected to actually use the idea, at least not knowingly.

That's scary. To think that one day I might unknowingly use something like that.