[Haskell-cafe] Re: ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release

[Benedikt Huber]

atze at 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