kritzcreek/fby19

Type inference from scratch - Material for my talk at F(by)19

Haskell

25 commits

updated Jan 8, 2020

www.youtube.com/watch?v=ytPAlhnAKro

See the code

README

Type inference from scratch for f(by)2019

Running the type inferencer

Install stack

stack build && stack exec fby19

Then just start inserting expressions

The slides are in talk.pdf

Resources

Algorithm W Step by Step (Martin Grabmueller) - http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf
Types and Programming Languages - Benjamin C. Pierce
The original paper for the system described here (read this after you've understood the implementation): Principal type-schemes for functional programs - Damas & Milner https://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf

Contributors

kritzcreek

25 commits

Similar repos

jozefg/hm

A small implementation of type inference

cu1ch3n/type-inference-zoo

🦖 Implementations of various type inference algorithms. The new project is now at…

156

AndrasKovacs/implicit-fun-elaboration

Implementation for ICFP 2020 paper

hkust-taco/mlstruct

Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

adamgundry/type-inference

Unification and type inference algorithms

127

JDemler/BidirectionalTypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

120

AndrasKovacs/staged

Staged compilation with dependent types

187

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

Languages

Haskell

100.0%

kritzcreek/fby19

Type inference from scratch - Material for my talk at F(by)19

Haskell

25 commits

updated Jan 8, 2020

www.youtube.com/watch?v=ytPAlhnAKro

See the code

README

Type inference from scratch for f(by)2019

Running the type inferencer

Install stack

stack build && stack exec fby19

Then just start inserting expressions

The slides are in talk.pdf

Resources

Algorithm W Step by Step (Martin Grabmueller) - http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf
Types and Programming Languages - Benjamin C. Pierce
The original paper for the system described here (read this after you've understood the implementation): Principal type-schemes for functional programs - Damas & Milner https://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf

Similar repos

jozefg/hm

A small implementation of type inference

cu1ch3n/type-inference-zoo

🦖 Implementations of various type inference algorithms. The new project is now at…

156

AndrasKovacs/implicit-fun-elaboration

Implementation for ICFP 2020 paper

hkust-taco/mlstruct

Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

adamgundry/type-inference

Unification and type inference algorithms

127

JDemler/BidirectionalTypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

120

AndrasKovacs/staged

Staged compilation with dependent types

187

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

Contributors

kritzcreek

25 commits

Languages

Haskell

100.0%