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

[Don Stewart]

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