6月17日（土）に弊社オフィスで第十九回 #渋谷javaを開催しました。当日の様子や皆さんの発表内容については以下のtogetterまとめをご覧ください。
今回は以下の皆さんに発表していただきました。
発表資料は公開され次第追加していきます。
www.slideshare.net
www.slideshare.net
ClojureやGraalVMなど相変わらず濃い話が多く、個人的には楽しいLTばかりだったのですが、Javaの最近の動向が知りたかったのに期待していたのと違う…と感じる方や、逆にテーマが散漫なので参加しづらい…という部分もあるかもしれないと感じています。より有意義な勉強会となるよう今後の運営方法についても検討していきたいと思います。
Atom 1.18がリリースされ、以前アナウンスされていたGit / GitHub連携機能が標準で使えるようになったので試してみました。
「Packages」メニューの「GitHub」サブメニューからエディタの右側にGit / GitHubタブを表示できます。キーボードショートカットでは^ + (でGitタブ、^ + *でGitHubタブをトグルすることができます。
Gitタブでは変更したファイルの差分を確認したり、ステージ、コミットが可能です。また、画面下のステータスバーからブランチの作成・切り替え、プッシュ、プル、フェッチを行うことができます。あとログを見たりマージやリベース操作ができれば最低限必要な日常操作はできそう。
GitHubタブはアクセストークンを登録する必要があります。今のところはoriginに現在のブランチに対応するプルリクエストがあるとその内容を表示することしかできないようです。差分も見たり何か操作ができるわけでもありませんし、プルリクエストに変更があっても反映されないようです。タブにもpreviewと書いてありますが、まだほとんど何もできないに等しいです。
Git連携に関しては基本的な操作は可能なものの日常的に利用するにはもう一息、GitHub連携に関してはまだまだこれからといったところでしょうか。git-plusやgit-controlなどのパッケージもありますが、正直どちらもあまり使いやすいとは言えませんので、Atom標準のGit連携機能が強化されることを期待したいところです。
4月から社内でType-Driven Development with Idrisの読書会をやっています。
最近ようやくChapter 3まで進み、実際に自分でコードを書くエクササイズなども出てきました。この本ではAtomを使うことが推奨されているのですが、Atom用のIdrisパッケージが非常に強力で、型駆動開発の魅力を存分に感じることができます。そこで、今回は実際にAtomでのIdrisプログラミングがどのようなものかについて紹介したいと思います。
たとえば以下のようなシグネチャを持つVect（要素数を型情報に持つリスト）用のマップ関数を実装するとします。Vect n aの各要素に(a -> b)という関数を適用してVect n bを返すというものです。
my_vect_map : (a -> b) -> Vect n a -> Vect n b
まずmy_vect_map関数の型を定義し、関数定義部分でCTRL+ALT+Aを押します。 すると関数の実装の雛形が生成されます。
続いてxsのところでCTRL+ALT+Cを押します。すると引数のパターンマッチに分解されます。
?my_vect_map_rhs_1などとなっている部分は「ホール」と呼ばれるもので、Scalaでいうと???に近いものです。ひとまずこれで型チェックを通し、あとから実装を当てはめていくことができます。ホールの部分でCTRL+ALT+Sを押すと型情報から推測が可能な実装が生成されます。
残ったホールでもう一度CTRL+ALT+Sを押します。
なんということでしょう！関数の型を定義したあとは、ショートカットを押していくだけでmy_vect_map関数が完成してしまいました！
もちろんこれは非常に簡単な例ですが、型駆動開発の片鱗は感じ取ることができるのではないでしょうか。静的な型付けのプログラミング言語はコンパイル時の型チェックなど安全性が強調されることが多いですが、型駆動開発は型の力をよりアグレッシブに活用する開発スタイルといえるでしょう。
読書会の完走まではまだまだ長い道のりですが、型駆動開発の奥義を会得するべく日々修業を続けていきたいと思います。
Scala用のSinatraライクなWebフレームワークScalatraの最新バージョン2.5.1をリリースしました。
今回は主に2.5.0で入ったSwagger 2.0サポートの改善やバグ修正がメインとなっています。特に@jb08氏には多くのフィードバックをいただきました。ありがとうございます。修正内容の一覧は以下になります。
http://scalatra.org/2017/06/01/2017-06-01-scalatra-2-5-1-released.html
ScalatraはGitBucketで使っている関係上、メンテをしていかざるを得ないのですが、次は2.6.0で機能の整理・統廃合を行い、3.0.0で足回りのモジュール化（Servlet / http4sなどを選択可能に）をやりたいと思っています。
アクティブなコミッタが死滅してしまったのでここ半年ほど1人で細々とメンテしていたのですが、最近新コミッタとして@magnolia-kさんのリクルーティングに成功したので頑張っていきたいと思います。
Scalaで実装されたオープンソースのGitサーバ、GitBucket 4.13をリリースしました。
https://github.com/takezoe/gitbucket/releases/tag/4.13
ローカルのファイルをリポジトリにドラッグ＆ドロップでアップロードできるようになりました。
GitBucketが使用しているJavaベースのMarkdownパーサ、markedjが最新版でホワイトリスト形式でHTMLタグのレンダリングをサポートしました。そのためGitBucketでも一部のHTMLタグのレンダリングが可能になりました。
これまでは一部のドロップダウンメニューで利用可能だったフィルタボックスがほとんどのドロップダウンメニューで利用できるようになりました。
7月29日(土)に福岡のヌーラボさん本社オフィスで開催されるScala福岡 2017に参加させていただくことになりました。
セッションでは最近コミッタになったApache PredictionIOについてお話しさせていただきたいと思います。概要は以下の通りですが、この他にもApache Software Foundationでの開発の様子なども紹介できればと思っています。
Apache PredictionIOはSparkやMLlib、HDFS、Elasticsearchなど、注目を集めるオープンソースをベースとした機械学習サーバで、機械学習を活用したアプリケーションの開発・運用を統合的にサポートするプラットフォームを提供します。開発者は様々な機械学習の手法をテンプレートに記述するだけでSparkをベースにした学習タスクの分散処理が可能になります。本セッションでは機械学習のインフラデザインとしても参考になるPredictionIOのアーキテクチャや実践導入のなかでのノウハウ、さらには今後の開発計画について紹介したいと思います。
セッションでは私の他にも@kmizuさんや@daiksyさんもお話しされるようですし、Akka Streamsのハンズオンなどもあるようです。まだまだ参加枠余っているようなので、当日お時間のある方は是非参加登録いただければと思います！！
社内で4月から週一でType-Driven Development with Idrisの読書会をやっています。
Type-Driven Development with Idris
今年のScalaMatsuriで@cbirchallさんにオススメされたのがキッカケなのですが、依存型（Dependent Type）を使って変態的なことがいろいろできるという話を聞いて面白そうということで有志（いまのところ6人くらい）で集まって緩く読み進めています。
ようやく2章の中盤に差し掛かったところなのでまだ先は長そうですが、1章でIdrisの概要をウォークスルーしたのでIdrisの思想やIdrisでのプログラミングのお作法のようなものが大体わかってきました。いまのところ言語として特徴的な機能だなと感じたのは以下の2点です。
Vec 2 StringとString型の要素を3つ持つVec 3 Stringを結合するとVec 5 Stringになる???に似た機能があり、型だけ書いて実装を省略した状態でコンパイルを通すことができる
数値型にもIntやInteger（BigDecimal的なもの）に加えて正の整数を表すNatがあり、配列の添え字などにはNatを使うというあたりもなるほどと思いました。
このような強力な型の表現力を活かしてより最適な型にリファインを繰り返しながらプログラミングしていくのがType-Driven Developmentのスタイルのようです。まだ、コードを見てもなかなかしっくり来ませんが、後半の章はATMをモデリングしてみるというケーススタディ的な内容になっているようなのでなんとかそこまでたどり着きたいと思います。
ちなみに社内では入門OCamlの読書会も行われているようです。
さて、どちらが先に完走できるでしょうか。
