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 definition itself. See also http://lambda-the-ultimate.org/node/1134

    4 people like this

    Posted: 9 years ago by Eirik Tsarpalis