On Fri, Jun 18, 2010 at 9:59 AM, Edward Z. Yang <ezyang@mit.edu> wrote:

I think I can second this comment.

I'm inclined to disagree. It's precisely when the code is in a state of constant upheaval that I want the type system to be pointing out my dumb errors.