Vanessa McHale's blog (3)
  • 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.

  • Cross-compiling ATS

    by Vanessa McHale | ATS

    I am happy to announce that atspkg now has experimental support for cross-compiling! I will give a short illustration of how this works using my own project, polyglot.