Jeremy Hylton : weblog : 2003-10-29

Helium Compiler for Haskell

Wednesday, October 29, 2003, 11:15 a.m.

Helium is a compiler for Haskell that is designed for students. Quality of the error messages has been the main concern...

A serious drawback of type inference is figuring out what went wrong when an error occurs. It looks like they've done a lot of work to provide better error messages.