Wednesday, July 21, 2004

A nice discussion of 'why type systems are interesting' on Lambda the Ultimate. Rather than being a back and forth argument about dynamic languages vs static languages there are some reasoned discussions on what makes type systems useful. 11:32:16 AM