/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

 slightknack.dev
Mirror: Hindley Milner Type Inference - Isaac Clayton
| | www.baturin.org
Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types Daniil Baturin
2.6 parsecs away

Travel
| | [AI summary] This blog post tutorial explains advanced OCaml programming concepts including parametric polymorphism, higher-order functions like combinators and composition, and algebraic data types with pattern matching.
| | thunderseethe.dev
Part 1: Bidirectional Constraint Generation ยท thunderseethe's devlog
2.7 parsecs away

Travel
| | Generate Type Constraints with a Bidirectional Type System
| | lambdaland.org
How to write a type checker/type inferrer with good error messages | Lambda Land
1.5 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.
| | developerlife.com
Build with Naz : Rust Polymorphism, dyn, impl, using existing traits, trait objects for testing and extensibility | developerlife.com
20.8 parsecs away

Travel
| Learn how to implement effective Rust polymorphism, using dyn, impl, existing traits, and trait objects for testing and extensibility, in real world projects.