Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
Updated
Jan 11, 2021 - Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Functional programming inspired by ML for the Erlang VM
Miscellaneous articles. The readme is the table of contents.
Runtime type checking for JS with Hindley Milner signatures
Different type inference algorithms implemented in F#
A minimalist type-inferred programming language with procedural macro support
Swift type checking and semantic analysis for developer tools
A self-hosting mini Haskell compiler with a mini C runtime.
A Hindley-Milner polymorphic typing system
shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
Playing with type systems
A statically-typed strictly-evaluated garbage-collected readable programming language.
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Template for Hindley-Milner based languages
Master thesis on developing a static type checker for Erlang
A parser for Hidnley Milner notations
Interpreter of the ITGL with dynamic type inference
Add a description, image, and links to the hindley-milner topic page so that developers can more easily learn about it.
To associate your repository with the hindley-milner topic, visit your repo's landing page and select "manage topics."