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?) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe