/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
| | 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.
| | particularvirtue.blogspot.com
Particular Virtue: Algebraic Data Types for Imperative Programmers
2.9 parsecs away

Travel
| | Algebraic data types are a fantastic way to make code clearer. They're used all the time in Haskell, because they're a fundamental part of t...
| | 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.
| | thebreakfastpost.com
Notes on Idris - The Breakfast Post
17.6 parsecs away

Travel
| In a bid to expand my programming brain by learning something about "dependent types", I recently bought the Idris book. (Idris is a pure functional programming language that is mostly known for supporting dependent types. Not knowing what that really meant, and seeing that this recently-published book written by the author of the language was...