blog

Vanessa McHale's blog (2)
• Co-(Elgot Algebra)s in the Wild

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

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

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

Some examples and non-examples of monads.

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.