Questions tagged [algebraic-data-types]

For questions about algebraic data types, a language feature for creating composite types and values of them. Specific questions may also want to use the sum-types or product-types tags.

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
8 votes
0 answers

How does GADTs as in Haskell-like languages compare to indexed families in dependent types?

In Haskell, GADTs are only indexed by types, while indexed families in DT are mainly indexed by terms. With the presence of without-K, it is hard to refute cases just by unifying type terms, while in ...
ice1000's user avatar
  • 2,394