PHP7で堅牢なコードを書く - 例外処理、表明プログラミング、契約による設計 和田 卓人
#和田卓人
#PHP
#契約による設計
#例外処理
#表明
懸命なソフトウェア技術者になるための第一歩は、動くプログラムを書くことと正しいプログラムを適切に作成することの違いを認識すること（M. A. Jackson 1975）
型宣言による
予防的プログラミング
攻撃的プログラミング：fail fast
assertによる
表明
事前条件
違反は使う側の責任、
事後条件
違反は提供者側の責任
APIドキュメントに事前条件を記述する
常に失敗するのがバグ、そうでないのが例外
https://youtu.be/54jHDHvcYAo