/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

 well-typed.com
18 months of the Haskell Unfolder - Well-Typed: The Haskell Consultants
| | lexi-lambda.github.io
Unit testing effectful Haskell with monad-mock
2.9 parsecs away

Travel
| |
| | www.poberezkin.com
Evgeny Poberezkin - What I wish somebody told me when I was learning Haskell
3.0 parsecs away

Travel
| | Evgeny Poberezkin's blog
| | www.haskellforall.com
Haskell for all: GADTs
3.0 parsecs away

Travel
| | Prelude Some time ago I asked a question on /r/haskell about what unique purpose GADTs served that other language features could not prov...
| | blog.polybdenum.com
What are GADTs and why do they make type inference sad? | Considerations on Codecrafting
18.1 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.