hindley-milner

Here are 55 public repositories matching this topic...

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation

Updated Jan 11, 2021
Haskell

alpaca-lang / alpaca

Star

Functional programming inspired by ML for the Erlang VM

erlang ml erlang-vm hindley-milner statically-typed alpaca

Updated Jun 13, 2020
Erlang

quchen / articles

Star

Miscellaneous articles. The readme is the table of contents.

haskell tutorials articles hindley-milner

Updated Jun 8, 2021
Haskell

xodio / hm-def

Star

Runtime type checking for JS with Hindley Milner signatures

javascript functional-programming type-checking invariant hindley-milner

Updated Sep 1, 2021
JavaScript

7sharp9 / write-you-an-inference-in-fsharp

Star

Different type inference algorithms implemented in F#

fsharp polymorphism hindley-milner typeinference typesystems

Updated Mar 2, 2021
F#

murisi / L2

Star

A minimalist type-inferred programming language with procedural macro support

c programming-language scheme lisp macros s-expressions hindley-milner type-inference meta-programming unsafe setjmp longjmp

Updated Oct 25, 2020
Racket

MaxDesiatov / Typology

Sponsor

Star

Swift type checking and semantic analysis for developer tools

swift developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

Updated Aug 10, 2021
Swift

0b01 / tensorscript

Star

shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)

neural-network dsl pytorch hindley-milner pipes-operator

Updated Sep 7, 2018
Rust

kongware / ftor

Star

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

javascript functional-programming tuples composition immutability recursion higher-order-functions polymorphism currying type-system lazy-evaluation hindley-milner purity sum-types unification combinators parametric-polymorphism tagged-unions scott-encoding row-polymorphism

Updated Mar 9, 2018
JavaScript

siraben / mini-haskell

Star

A self-hosting mini Haskell compiler with a mini C runtime.

c haskell parser-combinators compiler combinatory-logic hindley-milner graph-reduction

Updated Dec 22, 2019
Haskell

elipmoc / Ruscall

Star

自作言語処理系のコンパイラ制作

programming-language rust compiler llvm hindley-milner

Updated Feb 23, 2019
Rust

zionlang / zion

Star

A statically-typed strictly-evaluated garbage-collected readable programming language.

programming-language compiler llvm ffi lambda-calculus typeclass polymorphism type-safety hindley-milner zion static-typing system-f llvm-compiler garbage-collect newtypes

Updated Jan 13, 2021
C++

mbg / hindley-milner

Star

Template for Hindley-Milner based languages

language types hindley-milner type-inference unification

Updated Dec 7, 2021
Haskell

lucasem / polytype-rs

Star

A Hindley-Milner polymorphic typing system

types polymorphism hindley-milner type-inference

Updated Sep 28, 2021
Rust

nachivpn / mt

Star

Master thesis on developing a static type checker for Erlang

erlang hindley-milner type-inference partial-evaluation

Updated Sep 30, 2018
Erlang

smpoulsen / terp

Star

A functional programming language with lisp syntax and ML semantics that runs on the BEAM

programming-language lisp interpreter ml hindley-milner higher-kinded-types

Updated Oct 25, 2021
Elixir

xodio / hm-parser

Star

A parser for Hidnley Milner notations

parser functional-programming fp hindley-milner

Updated May 9, 2021
JavaScript

ymyzk / lambda-dti

Sponsor

Star

Interpreter of the ITGL with dynamic type inference

interpreter functional-programming ocaml repl hindley-milner dune gradual-typing type-inferece

Updated Aug 21, 2021
OCaml

remexre / evaltrees

Star

Open

Logical Operators

remexre commented Apr 4, 2019

&&, ||, not

enhancement good first issue

Open

Relational Operators

Open

Strings

Find more good first issues

wdamron / poly

Star

Hindley-Milner type system with extensible records and variants, implemented in Go

type-theory type-system hindley-milner type-inference algorithm-w

Updated Nov 21, 2020
Go

andreypopp / type-systems

Star

Playing with type systems

ocaml typeclasses hindley-milner type-inference type-systems

Updated Nov 25, 2021
OCaml

BookOwl / type-inference

Star

Hindley Milner Type Inference in Rust

type-checking type-system hindley-milner type-inference

Updated Oct 4, 2017
Rust

Genivia / Husky

Star

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

lambda-calculus lazy-evaluation functional-language hindley-milner type-inference

Updated Sep 21, 2020
Prolog

aedans / Hindley-Milner

Star

Kotlin Hindley-Milner type inference with Arrow

kotlin functional functional-programming hindley-milner

Updated Jun 7, 2019
Kotlin

maeln / LambdaHindleyMilner

Star

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

lambda-calculus hindley-milner imt-atlantique inference-algorithm

Updated May 6, 2019
Java

kvverti / rusty-lavender

Star

The third iteration of the Lavender programming language, implemented in Rust.

rust monads functional type-system hindley-milner lavender lavender-programming-language

Updated Apr 17, 2021
Rust

Jaimeloeuf / SS

Star

SimpleScript, A Simpler Programming Language (WIP)

javascript language programming-language rust typescript interpreter fsharp jvm llvm ocaml wysiwyg scripting-language sml functional-language hindley-milner language-experiment simplescript language-spec

Updated Nov 16, 2021
Rust

jmackie / hindley-milner

Star

🧐 Another Hindley-Milner implementation in Haskell

haskell hindley-milner type-inference haskell-learning

Updated Jul 19, 2020
Haskell

csabahruska / dsl-experiment

Star

Basic implementation of Hindley-Milner Type System and variants.

parser haskell functional-programming hindley-milner type-checker

Updated Apr 3, 2019
Haskell

Taskkill / frea

Star

A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded polymorphism.

programming-language repl inference lazy-evaluation functional-language hindley-milner type-inference higher-kinded-types damas-hindley-milner

Updated Sep 21, 2021
Haskell

Improve this page

Add a description, image, and links to the hindley-milner topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hindley-milner topic, visit your repo's landing page and select "manage topics."

Learn more