Snippets tagged gadts
-
An attempt at encoding GADTs
Demonstrates a possible encoding for GADTs in F#. It is type safe, uses no reflection and pattern matches can be declared outside of the GADT definition itself.
4 people like this
Like the snippet!Posted: 10 years ago by Eirik Tsarpalis
-
An attempt at encoding GADTs
Demonstrates a possible encoding for GADTs in F#. It is type safe, uses no reflection and pattern matches can be declared outside of the definition itself. See also http://lambda-the-ultimate.org/node/1134
4 people like this
Like the snippet!Posted: 10 years ago by Eirik Tsarpalis