|
You are here |
tech.preferred.jp | ||
| | | | |
serokell.io
|
|
| | | | | 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
|
|
| | | | | [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
|
|
| | | | | 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
|
|
| | | A functor is a common abstraction. While typically associated with functional programming, functors exist in C# as well. | ||