hindley-milner-type-check: Type inference for Hindley-Milner based languages

[ language, library, mit ] [ Propose Tags ]

This package contains an implemention of Hindley-Milner inference algorithm. It supports reporting of source code locations for errors. Language for type inference is labda-calculus augmented with primitive functions, let-expressions, case-expressions and bottom. See github repo for tutorial and test-cases for examples.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.1.0
Dependencies base (>=4.8 && <5), containers (>=0.5), data-fix (>=0.3), deepseq (>=1.4), deriving-compat, dlist, mtl, prettyprinter, text [details]
License MIT
Author Anton Kholomiov, Aleksey Khudyakov
Maintainer anton.kholomiov@gmail.com
Category Language
Source repo head: git clone https://github.com/anton-k/hindley-milner-type-check
Uploaded by AntonKholomiov at 2021-06-08T14:55:00Z
Distributions NixOS:0.1.1.0
Downloads 159 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2021-06-08 [all 1 reports]