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