MonocleとScalazにcontributeした話
わざわざ丁寧に書く内容ではないよなーとか思ってたので書くつもりは全くなかったけど、色々思うところがあったのでブログのネタにした。
ちょっと前からLens&Prism関連の話に興味を持ってて、ScalaでLensを提供するMonocleってライブラリをよく触って遊んでた。 だいぶ慣れてきたので、自社のプロダクトコードに導入しようと試してみたり*1、 argonautを参考にこんなの作り始めたりしたけど、使ってると案の定不満とか足らない機能とか見えてくるわけです。 で、これまでのfix typoしてきた経験(?)を生かして、少しだけcontributeしたってだけの話です。
Foldにlengthメソッド追加できるんじゃね？
monocle.Foldの中身眺めてたらfoldMapってメソッド名見えるし、なんならscalaz.FoldableからFoldインスタンス作れるし、本家Haskellのlensパッケージの方にもlengthメソッドが存在するくらいだから、追加できるやろと思ってやってみたら出来たのでPR出してマージされた。
https://github.com/julien-truffaut/Monocle/pull/236
Either3のOpticsがなかった
Monocleのpackage構成って、Scalazと似たような構成になっていて*2、monocle/stdディレクトリ以下に各種データ構造に対するインスタンスが定義されてます。その中身をScalazの方のscalaz/stdと比べてみると、Monocle側に存在しない奴が幾つか見つかるわけですね。んで、その中でもEither3が簡単そうだったので、既存のmonocle.EitherOpticsを参考にして追加のPR出したらマージされた。
https://github.com/julien-truffaut/Monocle/pull/242
ちなみにEither3って何だよって思った方は定義をどうぞ。名前通りの中身ですね。
EphemeralStreamのOpticsがなかった
もう一つ見つけた中で簡単そうだったのがscalaz.EphemeralStream。
どういうものかって書こうとしたら、既に2年以上も前に書かれてました。*3
ほとんど中身は変わってないっぽい(?)ので、詳しくはこちらで。
Scalaz の EphemeralStream - scalaとか・・・
で、このscalaz.EphemeralStreamにたいしてOpticsが定義できそうだったので挑戦してたんだけど、
monocle.function.FilterIndex型クラスのインスタンス定義にFilterIndex#traverseFilterIndexメソッドを使おうとして、
scalaz.EphemeralStream#zipWithIndexが無かった事に気づいた。
どう定義するのが一番綺麗か悩んだけど、PR出してマージされたので良かった。
https://github.com/scalaz/scalaz/pull/998
ただ、Monocleの方はまだ出してないです。 特に技術的難題にぶつかった訳ではないんですけど、こんなissueがあって、
Experiment replacing Scalaz by Cats dependency · Issue #235 · julien-truffaut/Monocle · GitHub
Gitterでも言及してるの見た事あるし*4、Julien Truffaut氏的にはScalazからCatsに移行したい様子っぽいので、Scalazにしかないようなデータ構造やらに依存するようなPR出しまくってえぇんか？的な思いに至って以降、忙しさを言い訳にちょっと放置中です。
ただ、内部的にはScalazべったりでそんなに簡単にはいかないだろうし、Scalazにしかないようなデータ構造に対するOpticsは別途モジュール切り出してサポートするって言ってるけど、以降のサポートとかも含めてちょっと難しいんじゃない？ってのが正直なところです。
それ、unused import じゃね？
ふとPR一覧眺めてると、Julien Truffaut氏がpackage構成変えるPR出してて、なんとなく-Ywarn-unused-importつけてcompileしてみたら、unused importのエラー*5が出てきたのでコメントしてみた。
fix #238 replace package object by all object by julien-truffaut · Pull Request #243 · julien-truffaut/Monocle · GitHub
結果的には
package object std extends StdInstances
って定義されてるpackage.scalaファイルの消し忘れっぽかったんだけど、なんか深夜に完全にテンパって仕様上ありえないコメントとかしちゃって辛かった（←
ただ、-Ywarn-unused-importオプション追加に関しては前向きっぽいので、追加PR出してみるといいんじゃないですかね？チャンスです。
^|->> や ^<-> って書くのが嫌になってきた
見出しの記号はそれぞれcomposeTraversalとcomposeIsoってメソッドのエイリアスで、使う場面というか使い方は
Monocleのexampleや
「Scalaに存在演算子を求めるのは間違っているだろうか」をLens/Prismで解いてみる - 独学大学情報学部
とか見ればなんと無くわかるんじゃないかと思います。 とりあえず、compose系メソッド名と記号メソッド名の対応は覚えたんだけど、記号メソッド入力するときにほぼ右手のみでしかも4-5文字ってめちゃくちゃキーボード打ちにくくて不便なので、何か共通の記号一文字でできないかと思ってやってみたのが、これ。
orz · aoiroaoino/Monocle@5cf5d9a · GitHub
以前のv0.x系の頃には一律composeってメソッド名だったのだけど、こんな感じでoverloadするとうまく動作しない問題があった。それを暗黙の変換かますと回避できたりしないかなーってなんと無く思ってやってみたけど、そんなことはなかったし、詳しく追うのも疲れたのでお蔵入りコードとなりました。南無三。この問題、回避策をご存知の方いれば教えて頂きたく。
まとめ
ここ三週間くらいプライベートではこんな感じの事やってた。 英語は適当過ぎるの良くないけど、それなりに頑張るとそれなりに通じるっていう知見を得たので、議論できる程度まで上げたいですね、英語力。
追記 2015-09-16
アラカルト形式importはscalazが最初ではない模様。
@AoiroAoino アラカルト形式のimport、どこからそう呼ぶのか微妙なところもあるけど、これ https://t.co/QDSbYzsB0K をそうだとするなら、7年以上前からあるしscalazが最初ではないかも(そしてscala-timeが最初かどうかも知らない)
— Kenji Yoshida (@xuwei_k) September 15, 2015追記 2015-09-17
cats化難しいんじゃないの？とかって内容の記事書いて次の日にcats化のブランチがremoteにpushされたし。 うぅむ、PR出てくるのも時間の問題っぽい...。
