[Haskell-cafe] Re: ANNOUNCE: Utrecht Haskell Compiler (UHC) --
benjovi at gmx.net
Sun Apr 19 07:34:02 EDT 2009
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 !
> * 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
- 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 ;)
More information about the Haskell-Cafe