« Cat Interpreter in Omega
Functional Lists in C# and in the Cat Interpreter »

Embedding Postfix Languages in Haskell

I was recently pointed to the paper “Techniques for Embedding Postfix Languages in Haskell”, from the 2002
Haskell Workshop ( http://www.eecs.usma.edu/webs/people/okasaki/pubs.html#hw02 ) by Chris Okasaki.

It’s an interesting paper that points us down the road of implementing a typed postfix functional language in Haskell. In the paper Chris describes several problems when implementing non-trivial postfix programs in Haskell. I wonder to what degree the issues have been resolved in recent Haskell releases, and whether any clever workarounds are available. Personally I don’t have the interest in fighting with Haskell to get things to work right.

I am looking forward to finishing the Cat type inference engine, so that I can publish the results of a type-inference shootout between Haskell and Cat.
 

This entry was posted on Tuesday, April 17th, 2007 at 10:16 pm and is filed under Everything. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

Leave a Reply

You must be logged in to post a comment.