Haskell
  • Mendler-style Catamorphisms

    by Vanessa McHale | Haskell

    You may have seen my post on co-(Elgot algebras), in which I mentioned I had been using some exotic recursion schemes for my gmpint package. I came across a similar example, this time for Mendler-style recursion schemes. To my knowledge, it is the only published example of a Mendler-style catamorphism.

  • Co-(Elgot Algebra)s in the Wild

    by Vanessa McHale | Haskell

    I've been looking for an example of co-(Elgot algebra)s for quite some time, and I came across a surprisingly nice example while working on my gmpint package.

  • Why Haskell Is Good

    by Vanessa McHale | Haskell

    As many of you will know, Haskell is a non-strict language, with non-strictness implemented via the more familiar laziness. Laziness has come to define Haskell, and here I would like give an expansive view of why.

  • Monads As "Programmable Semicolons"

    by Vanessa McHale | Haskell

    If you have followed the Haskell community much, you may have heard the phrase "programmable semicolon" in relation to monads. Of course, it is not obvious what is meant by such a thing, so I figured I'd write a short explanation for those already familiar with monads.

  • Using Haskell on the Frontend

    by Vanessa McHale | Haskell

    This tutorial will give you an opinionated introduction to using Haskell on the frontend for web. To benefit, you must:

    |