[This page copied and requiring further editing]
What’s new and what’s going on
See the Changelog.
Work at UU currently (dec 2015) focusses on integration of various program analysis and rewrite of the type system.
What is UHC?
- Multiple backends, including a bytecode interpreter backend and a full program analysis backend, both via C.
- Experimental language extensions, some of which have not been implemented before.
- Implementation via attribute grammars and other high-level tools.
- Ease of experimentation with language variants, thanks to an aspect-oriented internal organisation.
- See the download page.