こんにちは。AMoAdでエンジニアをしております、西部と申します。

10月初めからアドテクスタジオのオフィスがリニューアルされました。
アドテクスタジオ、「Hack」がテーマの新オフィスをOPEN★

今回は、そのリニューアルしたオフィスのプレゼンテーションルームで初開催された
AdTech Scala Meetupの一部を紹介しようと思います。

 
テーマは「Scala Test Tools」です。
 

Specs2テスト入門

1人目はProfitXのPhucさんの発表でした。

Bit Requestを題材に、Specs2のライブラリ利用方法について話してくれました。
スライド後半のDataTablesがいい感じですね。

正しいScalaのコードが欲しい

2人目は、基盤チームの志村さんの発表です。

スライドはこちら

証明支援言語Isabelleを用いて正しいScalaのコードを得る、という内容です。
プログラム自体を証明する、という普段の仕事とは違った視点が得られて、個人的に勉強になりました。

まとめ

今回はテストツールに関係する発表を紹介しました。

AdTech Scala Meetupが始まってちょうど1年になります。
これまで多くの方々に発表していただき、Scalaの知見を共有するいい場になっているのではと思います。
今後の発表内容についても公開を続けて行きたいと思いますので、どうぞよろしくお願いいたします。