Java8からLambdaと一緒にMethod Referenceも導入されました。これにより、今までアノニマスクラスで書いていたものが、LambdaやMethod Referenceで書くことができるようになりました。 例えば、Comparatorの実装は、 Comparator<String> comparator = String::compar</string>…

Java8からLambdaが書けるようになって、いろいろと簡単に書くことができるようになったので、 その型推論について勉強してみた。JavaのLambdaではFunctional Interfaceの実装をLambdaで与えることができる。 例えば、Comparatorの実装に Comparator<String> comparat</string>…

前の記事では、IntelliJでCheckerFrameworkを使う方法を書きましたが、本記事では、MavenでCheckerFrameworkを使って書かれたコードをコンパイルする方法を書きます。すでに、Maven Centralに必要なjarは上がっていますので、特に難しいことはなく、pom.xml…

JJUG CCC 2016 SpringでThe Checker Frameworkというものがあることを知ったので、早速使ってみた。ドキュメントが全部英語で、日本語のものがなくて辛かったので今回は、Intellijを使ってビルドできるようになるまでを書く。 (英語版の設定はThe Checker Fr…