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 [...]
>> Read the full article on wizardsofsmart.net
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper