GitHub - helvm/ml-w: Minimal ML language to to demonstrate the W type infererence algorithm

helvm / ml-w Public

forked from bitonic/ml-w

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Minimal ML language to to demonstrate the W type infererence algorithm

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
tests		tests
Applicative.hs		Applicative.hs
ML.hs		ML.hs
Main.hs		Main.hs
Makefile		Makefile
README		README
TypeInfer.hs		TypeInfer.hs
ml-w.cabal		ml-w.cabal

Repository files navigation

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 program in 'Main' can be compiled with @make@, and the documentation with
@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).