在移動互聯網、云計算迅猛發展的今天，作為一名Web開發者，如果您還沒聽說過“REST”這個buzzword，顯然已經落伍了。夸張點說，甚至“出了門都不好意思跟別人打招呼”。盡管如此，對于REST這個泊來品的理解，大多數人（包括一些資深的架構師）仍然停留在“盲人摸象”的階段。常常聽到各種各樣關于REST的說法，例如：有人說：“我們這套新的API決定不用Web Service（SOAP+WSDL），而是直接使用HTTP+JSON，也就是用RESTful的方式來開發。”
生活中總會有些狀況讓我們無所適從摸不著頭腦：面對一排電燈或空調的按鈕，哪個才是控制我想要的？開鎖時掏出一把鑰匙，哪個才是正確的？拿起U盤插入電腦，朝那個方向才是對的？……類似的猶豫充分說明，你呆住了。現在，是需要“防呆設計”來拯救你了。
契約式編程不是一門嶄新的編程方法論。C/C++ 時代早已有之。Microsoft 在 .NET 4.0 中正式引入契約式編程庫。博主以為契約式編程是一種相當不錯的編程思想，每一個開發人員都應該掌握。它不但可以使開發人員的思維更清晰，而且對于提高程序性能很有幫助。值得一提的是，它對于并行程序設計也有莫大的益處。
引言
