[Haskell-cafe] Monad.Reader 8: Haskell, the new C++
derek.a.elkins at gmail.com
Thu Sep 13 17:01:29 EDT 2007
On Thu, 2007-09-13 at 11:12 -0700, Don Stewart wrote:
> > >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.
Is the type level functional language non-strict? (Is there a flag that
will allow non-terminating associated type programs?)
More information about the Haskell-Cafe