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

[Derek Elkins]

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