atze@cs.uu.nl schrieb:
Utrecht Haskell Compiler -- first release, version 1.0.0 ========================================================
The UHC team is happy to announce the first public release of the Utrecht Haskell Compiler (UHC).
Great to see another haskell compiler !
Features:
* Experimental language extensions, some of which have not been implemented before. Maybe you could add a section 'Differences to GHC 6.10' to the manual ?
From a quick look, partial type signatures and local instances seem to be 'novel features', and there are some differences with respect to type / kind inference. Section 4.2 (Proposed in haskell prime but not in UHC) and Section 4.3 (Available in UHC but not in Haskell98 or Haskell prime) are a little bit confusing (and imho superfluous): - Many language extensions have been 'proposed' for haskell prime (http://hackage.haskell.org/trac/haskell-prime/wiki/Status). - MPTCs are accepted for haskell prime - 'Existential Quantification' is accepted for haskell prime, but different from 'Existential Types' described in the manual - Functional Dependencies are not available in UHC ;) best regards, benedikt