2015-12-21

RubyKaigi 2015 Day3

ちょっと日が空いてしまいましたが、先日に引き続いて、RubyKaigi の 3 日目について軽くまとめておきます。

Ruby Comiitters vs the World

Ruby コミッタの皆さんが、世界と戦うように見せかけて壇上でトークバトル(?) を繰り広げるというセッションでした。

Ruby を使っていて最近良く思うのは、動的な型システムって本当にいいのかな？という点です。型推論が究極に賢くて、わざわざ型を書かなくても静的な型システムの恩恵を受けられるのがベストですが、現実はなかなか難しい。

前に Matz さんが構想している Soft Typing では、そのへんがいい感じになるというウワサですが、このセッションで進捗がないことが明らかになりました..

先日に引き続き、IBM における OMR での GC テクノロジに関するお話でした。ちょっとねむたくてよく覚えていないのですが、OMR の GC テクノロジを Ruby に適用してみたよ的な内容だったと思います。

強力すぎるモンキーパッチを、よりお行儀よい形で置き換えることのできる refinements の基本と使い方についてのお話でした。

refinements、あまり使ったことがなくて理解がフワフワしていたのですが、よく理解することができました。さすがメタプログラミング Ruby の著者だけあって、説明がわかりやすかったです。

実装には、dynamically scoped refinement と lexical scope refinements があって、クラスの継承関係があるとややこしみが増えてしまうので、実際には lexical のほうが採用されたそうです。

感覚的には lexical というよりも local と言うほうがしっくりくる感じがしたのですが、顛末な問題なので気にしないことにしました。

Ruby の Thuread を 10000 スレッドでかつミッションクリティカルな環境で使ってみたよというお話でした。

途中で出てきたグラフに単位がなくて困惑しましたが、なんとか話を理解することができました。

Erlang などを使うという選択肢はなかったのですか？という問に、登壇者の方が「ミッションクリティカルで実績のないものは使えません」とおっしゃったのには、Erlang 好きとしては、ああ世間ではそういう評価なんだなーとちょっと悲しくなりました..

プラグインアーキテクチャを持つ gem を設計するためのテクニカルなお話がメインでした。

プラグインアーキテクチャの概念から、徐々に内容に入っていく感じでわかりやすかったです。あんなキレイな設計ができるようになりたい..

生まれて初めて tenderlove さんを生で見たのですが、かわいい日本語で発表されていて度肝抜かれました。

比喩を用いた巧妙な表現で、Rails と Rack 周りが何をやっているのかをわかりやすく解説してくれました。そしてお恥ずかしながら、HTTP2 がバイナリベースのプロトコルなのだと、ここで初めて知りました..

分散処理におけるアクターモデルと Ruby を絡めたお話でした。

アクターモデルは Erlang ではおなじみの概念で、登壇者の方の Queue と Thread で実装したアクターモデルは、 Thread を Process に置き換えると、Erlang のそれに似ているという印象でした。

そもそもですが、主に処理の並列化による高速化を狙う Thread と、リライアブルな分散処理を実現するためのアクターモデルを同じ土俵で比較するのって、何か無理があるなーと思ったりもしました。

Matz さんが Ruby 3 では 3 倍高速にするという目標を打ち出しましたが、では、それを実際にどうやって実現していくのかの具体的な提案を述べた発表でした。

登壇者いわくいちばん手っ取り早く効果が出そうなのは JIT らしく、JavaScript の V8 の仕組みや Rubinius が LLVM IR を使っていたりすることに触れ、どうやったら速くなりそうか具体的に提案されていました。

いろいろとお勉強になったり、久しぶりに関西の Ruby な方とお話できたり、最高の 3 日間でした。