/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

 blog.polybdenum.com
X Design Notes: Pattern Matching I | Considerations on Codecrafting - words are my own, not an LLM's
| | www.baturin.org
Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types Daniil Baturin
6.0 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.
| | ruudvanasseldonk.com
A type system for RCL: Implementing a typechecker in Rust
9.2 parsecs away

Travel
| | I am adding a type system to RCL, my configuration language. In part 4, we look at how the typechecker is implemented in Rust, and at how it is able to generate good error messages.
| | thunderseethe.dev
Part 1: Bidirectional Constraint Generation ยท thunderseethe's devlog
10.4 parsecs away

Travel
| | Generate Type Constraints with a Bidirectional Type System
| | gilmi.me
m.me - Giml's type inference engine
12.3 parsecs away

Travel
| m.me - Giml's type inference engine