Re: [Haskell-cafe] Monad.Reader 8: Haskell, the new C++

...

Better here means "better" -- a functional language on the type system, to type a functional language on the value level.

-- Don

For a taste, see Instant Insanity transliterated in this functional language:

http://hpaste.org/2689

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. -- Don