Yasuhiro Inami
LINEでiOSエンジニアをしています。業務ではメッセンジャー、カメラ、ニュースといったアプリ開発に関わる一方、プライベートではReactKitやSwiftTaskといったオープンソースプロジェクトにコントリビュートしています。Apple、SwiftそしてHearthstoneの大ファンです。Battle.netやGitHub: https://github.com/inamiy で出会うことができます。
パーサーコンビネーターは、関数型プログラミングにおける最も美しいコード記述法の一つです。JSON構文木などを簡単に生成することができます。このプレゼンテーションでは、パーサーコンビネーターが実際にどのように動作し、活用されているのか、具体例を交えて解説します。
Here is my slide for #tryswiftconfhttps://t.co/Ujv8GzRCoW
— Yasuhiro Inami (@inamiy) 2016年3月4日
Again, thank you for listening!
ここから
楽しんでいますか？あと3つですね？
今日は最も面白い関数型プログラミングのトピック、パーサーコンビネータの話をします。
聞いたことある方？
パーサーはテキストを受け取って解析します。字句解析、トークンという字句に分解します。
ふたつの異なるアルゴリズム、ボトムアップ構文分析、トップダウン構文分析が有ります。
どのような順番で解析を行うのが良いでしょうか
下の方からツリーを形成していきます。そして最後にトップへ、パースはボトムからトップ。これがボトムアップ解析。
最上部から予想を立てつつツリーを形成するのはトップダウン
ここでは深掘りしません。きょうはトップダウン解析を行います。AppleSwiftのコードを読んだ方、C++で同じ方式を手続きプログラミングで解析しています。
ではコンビネータはどうでしょう。
ただの関数、クロージャーと思ってもらっても構いません。複数組み合わせて面白い特性を持ちます。
端的に言うと高階関数で組み合わせて大きな関数のようなものを作ります。
パーサーの中にパーサーがあってコラボレーションし、大きなパーサーに見えます、これがパーサーコンビネータ−。
Swiftでの実装
文字列を引数に受け取り結果と残りの文字列を返します。失敗することがあるので状態系モナドのOptionalを返します。
PureとEnptyを用意します。タプルを返しているのでPureは常に成功です。インプットを消費するわけではありません。
Emptyは常に失敗です。
バインドはこのように掛けます。
パーサーが成功したらタプルでFを適用します。これが2つ目のパーサーで、これを使って残りの入力に適用します。最初から出力がなければnilを返します。これをFlatmap演算子で、このようになります。スペシャルケースですが$ではなくキャラクタサイン(^)を使います。
選択演算子を見ていきましょう
成功すればタプルを返して終了、失敗したらｑを試します。
さらに3つの連続書利用のファンクションが有ります。
pを使わない、あるいはq使わない用になっています。使わない方は棄却するということです。
どんな一文字もパース出来る、あるいは数値パーサー、あるいは特定一文字をぱーすするキャラパーサーが作れます。すべてシンプルですね。
これは複雑なパーサーです。
特定文字列をパースします。
重要なパーサーでManyOneがあります。
パーサーPを与えられて何度も使います。Pが最低一回成功しないと失敗します。2つが相互再帰しているのが特徴です。
SkipMany
返り値がVoidになっている、意味のない結果です。しかしManyOneより効率的に実行できます。空白処理を行うことが出来るわけです。タブやラインフィード。
最後に、ナチュラルにシンボルパーサーを見てもらいます。
中間パーサーが真ん中にあって、スキップパーサーにサンドイッチされています。空白をスキップして中間パーサーを提供して、スキップ。 空白ではなくストリングだけを見ている、ハンバーガーのようなものです。
両側にパンがあって美味しいお肉やチーズ、野菜がある、この部分が大事ですよね。ハンバーガーみたい。
いろんなパーサーの話をして来ました。
3行や1行のものが有りました。
簡単な遊びができます。
自然数のみの計算機を作ることが出来ます。
一行で、実際には3行かも知れませんが、シンプルですね
うまくいきますね？このスライドによると。
1歳の子供でも解けそうな計算ですね！もっとかっこいいことがしたいですか？私は少なくともそうです。
安心して下さい。もう一つ有ります。
小さなライブラリを作りました。楽しいですよ。
このカンファレンス用のノマディックパーサコンビネータ−です。
TryParsecはdo try catch なんて使っていない名前的にはインチキライブラリですが、遊んでみてください。後で公開します。私の話を聞きに来たのでしょう？
ぜひ見てみて下さい。
どのように動くのでしょうか
これをどうパースするのでしょう
自動でJsonenumツリーを得られます。
標準JSONパース機能など使わず、ピュアSwiftで動いています。
カスタムモデルとしてこれらを使いたいわけですからJSONデコーディングとエンコーディングがほしいです。
Swiftに20,30のライブラリが有りますので、JSONデコードもEncodeも出来ます。
Structモデルを用意しマッピングします。
JsonStringには無いが、意図的に加えたものが有ります、一番下。
そのまえにやるのは、fromJSONObjectに準拠することです。
このような変わったものを十曽します。アプリカティブスタイルですね。アルゴ、を試したことがあれば、これはそれと同じように機能します。
エンコードは？
まとめ
まだ公開していませんがオープンソースでお試しいただけます。シンプルで、皆さんで簡単に作れます。Playground付きで遊べます。
注意点が有ります。パフォーマンスがNSJsonSeriarizationとくらべて遅いです、マッピングも制約があり、他のライブラリでも制約はあります、Swiftの制約のため。
そういったことから、JSONからそういったパフォーマンス面での遅いということ。
Swift3で問題は解決されると思っています。OpenSourceで毎日の業務に関係し、ここにこのようにコミュニティがあるからです。Swiftの改善と向上に期待し、私のライブラリも改善したいと思います。
QA
どちらか答えて頂ければ。サポートは有りますか？パース失敗のエラーの場合。2つ目は、toJson
Printingは実装していません。パフォーマンスが既に悪いので改善してからエラーレポーティングに入って行きたいと思っています。
パーサーコンビネータ〜ゆっくり理解しよう… #tryswiftconf
— akira108 (@hoshi_gaki) March 4, 2016
inamiyさんすごいわー #tryswiftconf
— Syo Ikeda / いけしょー (@ikesyo) March 4, 2016
ナチュラルでオーガニックなハンバーガーをモナドでパースする話だ 🍔 #tryswiftconf
— Motohiro Takayama (@mootoh) March 4, 2016
すごいH本をちゃんと読むか #tryswiftconf
— ワニ (@alligator_tama) March 4, 2016
気に入った記事は はてなブックマーク
はてなブックマークアプリiOS開発チームから来ました！ はてなブックマークにはSwift特集があります！ 良い記事を見逃さないように、ご利用ください！ http://b.hatena.ne.jp/hotentry/it/Swift
そして良いまとめ記事があったらはてなブックマークでブックマークしましょう！ try! Swift の記事で盛り上がると嬉しいです！
