a...@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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to