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.
The 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
datatype.
The TypeInfer module contains the W algorithm itself.
The Main module contains a program that parses and typechecks programs
reading from standard input.
The library and executable is compatible with GHC and Hugs (to use Hugs
with cabal use the flag --hugs).
Downloads
- ml-w-0.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.1.1 |
|---|---|
| Dependencies | base (<5), mtl, parsec, pretty [details] |
| License | LicenseRef-PublicDomain |
| Author | Francesco Mazzoli <f@mazzo.li> |
| Maintainer | Francesco Mazzoli <f@mazzo.li> |
| Category | Language, Type Inference |
| Source repo | head: git clone git://github.com/bitonic/ml-w.git |
| Uploaded | by FrancescoMazzoli at 2012-04-09T09:27:31Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | ML |
| Downloads | 1745 total (8 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |