/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

 gilmi.me
m.me - Giml's type inference engine
| | 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
4.0 parsecs away

Travel
| | This post is part 2 of a series. Click here to go to the beginning of the series.
| | lambdaland.org
How to write a type checker/type inferrer with good error messages | Lambda Land
2.2 parsecs away

Travel
| | All the source for this may be found on my SourceHut repository. Synopsis # Experimental type checker/inferer for a simple lambda calculus Description # This is a type inference system for a little language. (Described below.) It uses a fusion of type inference algorithms from PLAI, ESP, and ?Kanren. (See Resources) Broadly speaking, our type inference engine works by: generating typing constraints from the program solving those constraints Well describe each of those in more detail.
| | wimvanderbauwhede.codeberg.page
Roles as Algebraic Data Types in Raku Wim Vanderbauwhede
7.8 parsecs away

Travel
| Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles.