> What are we proponents of static types being asked to prove? Your arguments for why you think static types are better. > I would argue that catching bugs at

> What are we proponents of static types being asked to prove? Your arguments for why you think static types are better. > I would argue that catching bugs at compile time, before you ship them, is vastly preferable to catching them at run time. I would argue that you're only doing the benefit part of a cost-benefit analysis, which isn't very useful.