13 Sep
2007
13 Sep
'07
9:01 p.m.
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:
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?)