5 ms·
I'm writing up a tutorial on F-algebras and compositional data types. I'd love if you read along and helped me to make it better. https://www.fpcomplete.com/us
by tel 13y ago
I'm writing up a tutorial on F-algebras and compositional data types. I'd love if you read along and helped me to make it better.
https://www.fpcomplete.com/user/tel/from-zero-to-comp-data https://www.fpcomplete.com/user/tel/from-zero-to-comp-data
- breckinloggins 13y agoBookmarked! And I loved that you snuck in the zygohistoprepromorphism thing.
- tel 13y agoExcellent! I'm definitely going to go through Edward Kmett's recursion-schemes library which has the zygohistoprepromorphism in it. While I plan to cover topics to make comprehension of the zhppm easier, I don't know that I'll examine it in particular. Unless I just do for fun, because it's not actually terrifically complex... just sort of a joke name for a relatively simple, abstract idea.