Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Mark Shields and Simon Peyton Jones's First-class Modules for Haskell discusses a lot of extension proposals integrated in a coherent design.
Cayenne is a programming language influenced by Haskell and constructive type theory. Because it has also Dependent types, it can leverage them so that it is not forced to have a separate module language and a core language.