WebHome
- UHC
- EHC
- Documentation
- Features & Status
- EH examples
- Feedback
- News
- FAQ
Related
- Ruler
- Shuffle
- uulib & uuagc
Old Stuff
- Previous WebHome
- AFP2004
Center
Master Program
Project Plans
Ehc
EHC projects
| Topic | Part | Status/Priority | Who |
|---|---|---|---|
| EHC type rules via Ruler | AD | ||
| Module system | first classness | master/phd | |
| interaction with full prog analysis | master/phd | ||
| Codegen/GRIN | fully optimizing | JF | |
| LLVM | codegen | John v Schie | |
| Constraint based approaches | Top/Helium error messages | master | |
| Top/Helium for EHC's types | phd | ||
| Type system | add GADT | mostly done | AM |
| Co-/Contravariance analysis on datatypes, use in subsumption | done | AD | |
| Class system | add functional dependencies | ||
| add associated types/synonyms | |||
| Helium salvation | use GRIN backend | exp project | |
| use EHC parser | exp project | ||
| Uniqueness types | done once by AM | ||
| Framework for interaction with AST independent, global analysis | |||
| Incrementality | |||
| Memoization | |||
| Runtime + interaction with full prog analysis | garbage collector | ||
| Threads | |||
| STM | |||
| Exceptions | |||
| Use of GHC's rts | |||
| Garbage collection | general purpose (incremental, generational) | master | |
| static GC, global static allocation | master/phd | ||
| Ruler | Strategy transformation | MS PhD? scholarship | Arie Middelkoop |
| & Helium | master | ||
| & Top tools | critical | AD, BJH, JH | |
| & theorem proving tools (Twelf, HOL) | phd | ||
| EHC collaboration | nix, proxima, wiki | nwo proposal | phd |
| doc in texinfo style (for html like publication) | critical | AD | |
| Nix dev environment | critical | AD | |
| use of build farm | when going public | ||
| Tools | chunk editor | master | |
| WWW interface to EHC | online compilation tryouts | exp project |
Language features missing
Haskell(98 or later) features, not yet fully implemented
| Functional dependencies for multiparameter type classes |
| Foreign function interface only to make system work |
| No default |
| Irrefutable patterns are overly lazy |
| No threads |
| Garbage collection via Boehm GC |
| In short: partial runtime system |
Support projects
| Topic | Part | Priority | Who |
|---|---|---|---|
| Nix dev environment for UUST lib | AD | ||
| Cabal | pretty printers | ||
| parser combinators (SDS) | |||
| lvm (?) |
(Un)related projects
| Topic | Part | Priority | Who |
|---|
Writing projects
| Topic | Required work | For | Deadline | Who |
|---|---|---|---|---|
| Explicit/implicit | adapt | PLDI | 11 nov 2005 | AD |
| Ruler | accepted, finalize | FLOPS | 20 jan 2006 | AD |
| Quantifier propagation | extract simpler version from EHC, involves bit of work | ?? | AD | |
| Co-/contravariance analysis | AD | |||
| Explicitness: impl params, type params (a la SysF? ) | AD | |||
| Exploration of local instances: scoping, existential, multiparam, func deps | AD | |||
| Remaining EHC parts | AD | |||
| Parser combinator manual | soon | SDS |