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