[Haskell] RE: GADTs and GHC
simonpj at microsoft.com
Mon Oct 17 07:21:00 EDT 2005
PS: In my message about uses of GADTs I asked
| d) send Omega code, which GHC won't understand, but which
| demonstrates some cunning use of GADTs
| All of these would be useful, even (c) and (d) --- we can eyeball the
I should have also asked you to send examples of Chameleon code.
that uses GADTs. (Actually Chameleon does a lot more besides GADTs.
For example, it has an interesting type debugger.)
More information about the Haskell