hindley-milner

There are 2 repositories under hindley-milner topic.

sdiehl / write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
haskel compiler book evaluation lambda-calculus type type-checking type-system pdf-book functional-programming functional-language hindley-milner type-inference type-theory intermediate-representation
Language:Haskell 3307
alpaca-lang / alpaca
Functional programming inspired by ML for the Erlang VM
ml erlang erlang-vm alpaca statically-typed hindley-milner
Language:Erlang 1436
quchen / articles
Miscellaneous articles. The readme is the table of contents.
haskell hindley-milner articles tutorials
Language:Haskell 1239
xodio / hm-def
Runtime type checking for JS with Hindley Milner signatures
hindley-milner type-checking functional-programming invariant javascript
Language:JavaScript 197
7sharp9 / write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
fsharp hindley-milner polymorphism typeinference typesystems
Language:F# 154
murisi / L2
A minimalist type-inferred programming language with procedural macro support
lisp scheme c programming-language unsafe macros s-expressions setjmp longjmp hindley-milner type-inference meta-programming
Language:Racket 135
MaxDesiatov / Typology
Swift type checking and semantic analysis for developer tools
hindley-milner type-checking type-inference type-checker type-system swift developer-tools semantic-analysis semantic-analyzer
Language:Swift 80
siraben / mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
c combinatory-logic compiler graph-reduction haskell hindley-milner parser-combinators
Language:Haskell 68
0b01 / tensorscript
shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
pipes-operator pytorch neural-network hindley-milner dsl
Language:Rust 51
veera-sivarajan / type-inferencer
hindley-milner algorithm
hindley-milner rust typesystem
Language:Rust 49
zionlang / zion
A statically-typed strictly-evaluated garbage-collected readable programming language.
zion programming-language compiler hindley-milner system-f typeclass static-typing garbage-collect lambda-calculus llvm llvm-compiler ffi type-safety newtypes polymorphism
Language:C++ 46
kongware / ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
functional-programming javascript currying composition combinators recursion higher-order-functions sum-types polymorphism lazy-evaluation tuples immutability parametric-polymorphism type-system purity tagged-unions scott-encoding row-polymorphism unification hindley-milner
Language:JavaScript 44
lorepozo / polytype-rs
A Hindley-Milner polymorphic typing system
type-inference hindley-milner types polymorphism
Language:Rust 44
elipmoc / Ruscall
自作言語処理系のコンパイラ制作
programming-language llvm rust compiler hindley-milner
Language:Rust 43
andreypopp / type-systems
Playing with type systems
type-systems hindley-milner typeclasses ocaml type-inference
Language:OCaml 42
mbg / hindley-milner
Template for Hindley-Milner based languages
hindley-milner language type-inference types unification
Language:Haskell 37
smpoulsen / terp
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
lisp programming-language interpreter ml hindley-milner higher-kinded-types
Language:Elixir 34
nachivpn / mt
Master thesis on developing a static type checker for Erlang
hindley-milner erlang type-inference master-thesis
Language:Erlang 27
xodio / hm-parser
A parser for Hidnley Milner notations
fp functional-programming hindley-milner parser
Language:JavaScript 23
neighbour-hoods / rep_lang
a language for Cultural Articulation
holochain programming-languages interpreters hindley-milner rust
Language:Rust 21
ymyzk / lambda-dti
Interpreter of the ITGL with dynamic type inference
ocaml interpreter gradual-typing type-inferece dune repl functional-programming hindley-milner
Language:OCaml 21
lambduli / frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
damas-hindley-milner functional-language higher-kinded-types hindley-milner inference lazy-evaluation programming-language repl type-inference
Language:Haskell 17
remexre / evaltrees
A simple term-rewriting interpreter that displays intermediate expressions.
rust interpreter hindley-milner education
Language:Rust 14
wdamron / poly
Hindley-Milner type system with extensible records and variants, implemented in Go
algorithm-w hindley-milner type-inference type-system type-theory
Language:Go 14
Genivia / Husky
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
lazy-evaluation lambda-calculus hindley-milner functional-language type-inference
Language:Prolog 13
BookOwl / type-inference
Hindley Milner Type Inference in Rust
hindley-milner type-inference type-checking type-system
Language:Rust 12
kvverti / rusty-lavender
The third iteration of the Lavender programming language, implemented in Rust.
lavender lavender-programming-language functional rust type-system hindley-milner monads
Language:Rust 10
ElaraLang / elara
Elara is a purely-functional programming language targetting the JVM
language jvm haskell jvm-languages programming-language lambda-calculus hindley-milner
Language:Haskell 9
maeln / LambdaHindleyMilner
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
hindley-milner inference-algorithm lambda-calculus imt-atlantique
Language:Java 9
zdimension / hm-infer-scheme
Hindley-Milner type inference in Scheme, for Scheme
hindley-milner type-inference scheme racket
Language:Racket 9
aedans / Hindley-Milner
Kotlin Hindley-Milner type inference with Arrow
functional functional-programming hindley-milner kotlin
Language:Kotlin 8
Jaimeloeuf / SS
SimpleScript, A Simpler Programming Language (WIP)
language language-experiment javascript typescript rust llvm jvm programming-language functional-language interpreter scripting-language wysiwyg simplescript language-spec sml ocaml fsharp hindley-milner
Language:Rust 8
milesbarr / hindley-milner-in-python
Hindley–Milner type inference implemented in Python.
hindley-milner python
Language:Python 8
moea / types
Type System Modeling in Clojure
clojure hindley-milner lambda-calculus type-inference type-system types type-checking type-theory
Language:Clojure 6
bynect / algorithm-w
Type inference implementation in OCaml using Algorithm W
type-inference hindley-milner functional-programming ocaml functional-language type-system
Language:OCaml 5
jmackie / hindley-milner
🧐 Another Hindley-Milner implementation in Haskell
haskell haskell-learning hindley-milner type-inference
Language:Haskell 5