/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
| | boxbase.org
Hindley-Milner type system/Algorithm W study
3.0 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.
| | thunderseethe.dev
Part 1: Bidirectional Constraint Generation ยท thunderseethe's devlog
2.7 parsecs away

Travel
| | Generate Type Constraints with a Bidirectional Type System
| | 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.
| | serokell.io
Top programming languages for cybersecurity | Serokell
22.0 parsecs away

Travel
| Work in cybersecurity: check this list of languages for cybersecurity to support your growth as a professional programmer.