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

  • Some Examples and Non-examples of Monads

    by Vanessa McHale | Programming

    Some examples and non-examples of monads.

  • ATS in Haskell Packages

    by Vanessa McHale | ATS

    I've been doing some more work with atspkg and polyglot builds. It is now in slightly better shape, and it gives us the ability to call ATS code in Haskell almost painlessly.