2019年2月26日の日記

Contractという概念を知った。
契約プログラミング自体は聞いたことがあったが、将来のバージョンで言語機能として追加されるらしい。
関数の引数や戻り値の条件を明示し、自動的にチェックされるというもの。
C#にも欲しい。PHPにはもっと欲しい。