Vanessa McHale's blog (3)
  • A Look at the Packages on Hackage

    by Vanessa McHale | Programming

    Initially, I had written hackage-fetch to see if there was any use of coelgot anywhere on Hackage. At the time, there was not, but this has changed due to my gmpint package. As of writing, it is not surprisingly the only use of co-(Elgot algebra)s on the entirety of Hackage.

  • An Old English Name Generator in Madlang

    by Vanessa McHale | Old English

    Inspired by a tweet, I decided to write an Old English name generator in Madlang. This would help my indecision (picking a favorite color is hard!), and it would unearth some limitations of Madlang.

  • 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.

  • Using ATS Libraries in Haskell

    by Vanessa McHale | Programming

    I've talked about polyglot ATS/Haskell builds previously, but I wanted to show off the results of all this work without so much didactic focus.