Scala Days 2日目 (6/17) さて、大変間が空いてしまい、既に賞味期限切れになってしまったかもしれませんが(笑)、二日目のレポートを届けたいと思います。ご容赦ください。 Scala Days 2日目は、Erik Meijer氏による『Contravariance is the Dual of Covariance | Observable is the Dual of Iterable』と題した発表で幕を明けました。タイトルから、GoFのObserverパターンのObservableとIteratorパターンにおけるIterableの関係についての発表が聴けると期待したのですが、発表はタイトルと全く異なっていました。 発表は終止、try-finallyの表示的意味論の話に終止し、これはこれで一つの発表としてはアリだったかもしれないですが…(プログラムの意味を形式的に定義する手