Blog articles tagged 'asserts', 'lively kernel'

0
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 implementat[...]
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper