契約プログラミング好きだけど、DとC# で使った事あるけど、C# の契約プログラミングの検査あまりにも遅すぎて、普段オフにする感じで、それだとメリット少なすぎてなんか使わなくなった＞＜；
（IDEで気まぐれに（？）のんびりたまに検査してくれるとか出来たらおもしろそう＞＜）