gadt

66 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Is there a theory of GADT beyond Haskell?
user_7701100
•
4
0
72
gadt theory types
Must I cast Nat-kinds every time?
user_45406580
•
3
1
80
data-kinds gadt haskell
Unwrapping an existentially quantified GADT
user_123918630
•
6
4
173
dependent-type gadt existential-type haskell
Why can't ghc match these types on this Category product?
user_40406000
•
5
1
142
gadt category-theory typeclass haskell
What does this type error on heterogeneous lists means?
user_30020760
•
2
3
156
gadt ocaml
Why does a wildcard match work when enumerating all cases doesn't?
user_75090650
•
6
2
195
gadt type-inference pattern-matching haskell
Are extensible GADTs a viable solution to the expression problem?
user_7837430
•
2
0
128
subtyping gadt ghc haskell
GADT Type as Shapeless Coproduct -- how to build an Interpreter with an arbitrary number of Algebras
user_3870940
•
3
1
103
coproduct shapeless gadt scala
How to coerce types from different type levels in Haskell?
user_57606150
•
2
1
71
type-theory gadt lambda-calculus monads haskell
Pattern match on a data family in Haskell
user_44000600
•
6
1
306
type-families gadt pattern-matching haskell types
Hot Questions