/explore
|
You are here 
|
tech.preferred.jp | ||
| | | | |
kobzol.github.io
You can check out a YouTube recording of a talk based on this blog post. |
|
| | | | | ||
| | | | |
blog.polybdenum.com
Back in 2020, I created Cubiml, a simple ML-like language that demonstrated how to extend the usual Hindley-Milner type system with subtyping while still having decidable full type inference. One question I got was whether it would be possible to support generalized algebraic data types (GADTs) in Cubiml. I had heard that GADTs break type inference and didn't see the point, so I didn't think much of it at the time. |
|
| | | | | ||
| | | | |
www.baturin.org
[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. |
|
| | | | | ||
| | | | |
wimvanderbauwhede.codeberg.page
Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles. |
|
| | | |||
