/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

 tech.preferred.jp
Exhaustive Union Matching in Python - Preferred Networks Research & Development
| | serokell.io
Algebraic Data Types in Haskell
2.8 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.
| | www.baturin.org
Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types Daniil Baturin
2.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.
| | blog.polybdenum.com
What are GADTs and why do they make type inference sad? | Considerations on Codecrafting
3.0 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.
| | blog.ploeh.dk
Functors
18.7 parsecs away

Travel
| A functor is a common abstraction. While typically associated with functional programming, functors exist in C# as well.