/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 lambdaland.org
How to write a type checker/type inferrer with good error messages | Lambda Land
| | thunderseethe.dev
Part 1: Bidirectional Constraint Generation ยท thunderseethe's devlog
3.3 parsecs away

Travel
| | Generate Type Constraints with a Bidirectional Type System
| | slightknack.dev
Mirror: Hindley Milner Type Inference - Isaac Clayton
1.5 parsecs away

Travel
| | A cozy little corner of the web.
| | blog.polybdenum.com
Subtype Inference by Example Part 2: Parsing and Biunification | Considerations on Codecrafting
3.6 parsecs away

Travel
| | This post is part 2 of a series. Click here to go to the beginning of the series.
| | mvanier.livejournal.com
The Y Combinator (Slight Return): mvanier - LiveJournal
33.6 parsecs away

Travel
| or: How to Succeed at Recursion Without Really Recursing Tiger got to hunt, Bird got to fly; Lisper got to sit and wonder, (Y (Y Y))? Tiger got to sleep, Bird got to land; Lisper got to tell himself he understand. Kurt Vonnegut, modified by Darius Bacon Introduction...