ml-w

Release 0.1.1

Minimal ML language to to demonstrate the W type infererence algorithm

Repository Hackage Haskell Download

Keywords
library, program, public-domain, type-inference, Propose Tags, Index, Language.ML, Language.ML.Syntax, Language.ML.TypeCheck, ml-w-0.1.1.tar.gz, browse, Package description, Package maintainers, FrancescoMazzoli, edit package information
License
Other
Install
cabal install ml-w-0.1.1

Documentation

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).

Stats

Dependent repositories
0
Total releases
2
Latest release
First release
Stars
5
Forks
1
Watchers
1
Contributors
1
Repository size
113 KB
SourceRank
7

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Releases

0.1
0.1.1

Contributors

Francesco Mazzoli


See all contributors

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2023-12-02 18:05:46 UTC

Login to resync this project