We’re rewarding the question askers & reputations are being recalculated! Read more.

Questions tagged [gadt]

Generalized Algebraic Data Type - Common in functional programming

Filter by
Sorted by
Tagged with
4
votes
0answers
83 views

Existential Types and IO

In my attempts to grasp Existential Types in Haskell I decided to implement an integer-based fixed-length vector data type. I'm using ghc 7.8.3. Specifically I wanted to write a program which asks ...
5
votes
1answer
207 views

Improving General Algebraic DataType type-safe code for AA trees

As an exercise on GADTs I wrote a type-safe implementation of AA trees. I'm quite happy that the AANode data type correctly grasps the properties of the tree. Just ...