Explore >> Select a destination

You are here

 lambdaland.org
How to write a type checker/type inferrer with good error messages | Lambda Land
| | slightknack.dev
Mirror: Hindley Milner Type Inference - Isaac Clayton
1.6 parsecs away

Travel
| | A cozy little corner of the web.
| | ruudvanasseldonk.com
A type system for RCL: Introduction
4.3 parsecs away

Travel
| | I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system.
| | gilmi.me
?m.me - Giml's type inference engine
2.2 parsecs away

Travel
| | ?m.me - Giml's type inference engine
| | boxbase.org
Hindley-Milner type system/Algorithm W study
18.8 parsecs away

Travel
| These ideas and thoughts have converged towards type theory, and I remembered familiar patterns so I did a closer study at the Hindley-Milner, to understand it much better than before.