Le 15/11/2012 20:49, bearophile a écrit :
(Sorry for the duplicated post, I have realized it's better to show this here than D.learn)Notes about some ways to write code and avoid some mistakes. http://www.reddit.com/r/programming/comments/138j4t/static_typing_contracts_unit_tests_and_more/ Bye, bearophile
I did learn a bunch about research in type systems. Thanks a lot !