0
comment
comment
on 10/31/2011 8:37 AM
I started reading Coders at Work last week, and the interviews with Simon Peyton-Jones and Peter Norvig reaped an idea that doctest, contracts.coffee, and focco sowed and cultivated. What’s the idea? Type systems are nothing more than a formal implementation of a half-baked program proving system. This is a slight over-generalization. I want to stress [...]