このセンスに鳥肌が立ちました

tazantさんの「プログラミング言語にこんな機能が欲しい」 http://d.hatena.ne.jp/tazant/20080822/1219407899

これは、APIが正しく使われているのかチェックするのに有効そうです。もう少しlater節に柔軟性を持たせる必要があると思うけど。こういう機能を持った言語ってあるのかなー？EiffelのDbCは近い気がするけど、これの方がもっと強力だと思います。Rubyでバイトコードレベルでパターンマッチすることで実現出来そうな気がするので少し考えてみます。