[Haskell-cafe] Monad.Reader 8: Haskell, the new C++
dons at galois.com
Thu Sep 13 14:12:04 EDT 2007
> >Better here means "better" -- a functional language on the type
> >to type a functional language on the value level.
> >-- Don
> For a taste, see Instant Insanity transliterated in this functional
> NB: it took me 5 minutes, and that was my first piece of coding ever
> with Type families
Wow. Great work!
The new age of type hackery has dawned.
More information about the Haskell-Cafe