WebHome
- UHC
- EHC
- Documentation
- Features & Status
- EH examples
- Feedback
- News
- FAQ
Related
- Ruler
- Shuffle
- uulib & uuagc
Old Stuff
- Previous WebHome
- AFP2004
Center
Master Program
Language Features
Ehc
Haskell 98 features
| Feature | .eh status | .hs status |
|---|---|---|
| Modules | NN | Y |
| Type synonyms | Y | Y |
| ...with arguments | Y (use type lambdas) | Y |
| Infix operators at type level | NN | N |
| Turning infix type constructors into prefix type constructors | Y (use type lambdas) | N |
| newtype declarations | N | Y |
| n+k patterns | NN | NN |
| Prelude | NN | Y (details are missing) |
| deriving construct | NN | Y |
| default construct | N | N |
| Irrefutable patterns | N | Y/N |
| Automatic binding groups detection | N (each let forms a DIY binding group) | Y |
| Strictness flags | N | n |
| Literate Haskell source format | NN | Y/N (only \begin{code}...\end{code}) |
| Infixity of operators influences parsing of expressions, as described in the report | NN | N |
Extended features
| Feature | .eh status | .hs status |
|---|---|---|
| Type lambdas (undocumented?) | Y | N |
| Automatic destructor deriving | buggy | N |
| Polymorphic kind inference | Y | Y |
| Explicit kinding | Y | Y/N |
| Explicit implicit parameters | Y | Y |
| Higher ranked polymorphism | Y | Y |
| Extensible records | YN | YN |
| Multiparameter type classes | Y | Y |
| Functional dependencies | N | N |
| Lexically scoped type variables | Y (introduced in patterns) | Y |
| Existential quantification | Y | Y |
| Partial type signatures (denotated with dots ...) | Y | Y/N |
| Feature combination | .eh status | .hs status |
|---|---|---|
| Type classes & data types, eg data C a => D a = ... | YN | YN |
| Existential quantification over type classes, eg exists a.C a => a | YN | YN |
| Multiparameter type classes and quantification over subset of involved type variables | YN | YN |
Runtime system, backend, and use
The runtime system (RTS) is independent of the frontend, so the status is not split up into .eh and .hs status.| Feature | status |
|---|---|
| Separate compilation | Y |
| Mutual recursive modules | N |
| Integer type | Y (via GMP) |
| Float types | Y |
| Exceptions | Y |
| Threads | N |
| Foreign function interface | Y/N |
| GRIN based C backend with global optimizations | Y/N |
| GRIN based LLVM backend with global optimizations | Y/N |
| GRIN based C interpreter, per module compilation | Y |
| GRIN based interpreter (written in Haskell, for testing purposes) | Y |
| Garbage collection | Y (Boehm GC, EHC gc in development) |
Current work [on/after 9 Jan 2008]
- Atze Dijkstra: Haskell frontend (in general: make it Haskell), GRIN based C interpreter
- Jeroen Fokker: GRIN backend
- Arie Middelkoop: Ruler system
- John van Schie: LLVM backend