/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.thomasheartman.com
Let's read: Haskell Programming from First Principles, pt XI | Whisper of the Heartman
| | blog.polybdenum.com
What are GADTs and why do they make type inference sad? | Considerations on Codecrafting
4.2 parsecs away

Travel
| | 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
Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types Daniil Baturin
3.7 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
Algebraic Data Types in Haskell
1.6 parsecs away

Travel
| | In this article, we introduce you to the concept of algebraic data types and show how you can build your own data types in Haskell.
| | thomascountz.com
Entry-level Compiler - Thomas Countz
22.7 parsecs away

Travel
| [AI summary] The article discusses the development of a markdown-to-HTML compiler called markie, explaining the core steps of compiler architecture including lexical analysis, parsing, and target code emission, with examples using Ruby and real-world applications.