Date: Sat, 1 Jun 2002 12:19:30 -0400 From: matthias@ccs.neu.edu Dan, What you list are "contracts" not types. (Oh, certainly. I sent that mail in response to mail suggesting that if you write code clearly, you should hardly ever need comments. I wasn't addressing the thread of mail about types.)