Some slides about contract-based programming, etc: http://www.slideshare.net/DanielPrager/introduction-to-contracts-and-functional-contracts
Reddit discussion: http://www.reddit.com/r/programming/comments/1lt7zi/introduction_to_contracts_and_functional_contracts/ Bye, bearophile