Tag Archives: arrows

Initial Algebras: Part I

Meta-post This post is light on math and uses Haskell to express formalisms. If you’re clear on what a Functor is, you’re good to go. Functors and Algebras There is this regular old functor, with the type constructor Func. We’ve … Continue reading

Posted in Computers | Tagged , , , , , | 6 Comments