ml-w: Minimal ML language to to demonstrate the W type infererence algorithm.
This package implements a minimal ML-like language to demonstrate how the W algorithm works.
ML module contains the definition of the language in the form of an
Haskell data type, plus functions to parse files and pretty print the
TypeInfer module contains the W algorithm itself.
Main module contains a program that parses and typechecks programs
reading from standard input.
The program in
Main can be compiled with
make, and the documentation
make docs. It should work fine with
GHC version 6 or 7 (and
maybe more). It can also be loaded and ran with Hugs turning the
extensions on (using the
-98 flag) (or simply using the make target
|Dependencies||base (>=3 && <5), mtl, parsec, pretty [details]|
|Author||Francesco Mazzoli <email@example.com>|
|Maintainer||Francesco Mazzoli <firstname.lastname@example.org>|
|Category||Language, Type Inference|
|Source repo||head: git clone git://github.com/bitonic/ml-w.git|
|Uploaded||by FrancescoMazzoli at Mon Apr 9 08:36:54 UTC 2012|
|Downloads||818 total (12 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees