From: Robby Findler (robby at eecs.northwestern.edu) Date: Mon May 17 12:06:54 EDT 2010 |
|
On Mon, May 17, 2010 at 10:40 AM, David Van Horn <dvanhorn at ccs.neu.edu> wrote: > It's a bit like a type system. It'd be great to have, but it wouldn't let > you do anything new. Ouch. You know, I'm not sure that this is really right, on either count. Type systems let you build bigger programs than you could otherwise build (once you are at the right point on the ramp, of course) and rules would let you, say, run tournaments much more effectively. Robby
Posted on the users mailing list. |
|