何を話すのか

orthosesというライブラリーを作ったので使って下さい！というお願いをします。 orthosesは簡単に言うと、RBSの自動生成ツールです。

github.com

抱えている課題感

私は型を使った開発で得られる体験に魅せられています。コードを書いたその瞬間にバグに気づいて修正したり、複雑なロジックでもどの変数でどのオブジェクトが得られるのかエディタで確認しながら開発できるの最高だと思いませんか？

Rubyでもそれ、できるんです！！！

しかしながら、開発体験の現状と理想に多くのギャップを感じており、その課題の1つをなんとかするべく、プロダクトを開発した。というお話をします。

ロジックモデル

トークではロジックモデルをプログラミングプロジェクトにも当てはめてみることに挑戦しています。私は、ロジックモデルは書籍"未来を実装する"で紹介されているのを読んで知りました。この手法は、たどり着きたい最終目標を「インパクト」とし、インパクトへたどり着くためにはどのような成果や結果が必要なのか分解していく手法です。

参考文系

秋田県能代市による図での説明

https://www.city.noshiro.lg.jp/up/files/www/city/sogo-keikaku/1st-torikumi/h24/archives/118031download.pdf

未来を実装する――テクノロジーで社会を変革する４つの原則

作者:馬田隆明
英治出版

Amazon

"未来を実装する"は弊社技術トップのお勧め書籍でもあり、社内でも読まれています。

www.wantedly.com

RBSとRBIのツールチェインでの位置づけ

Rubyの型は大きく2つのエコシステムがあり、文法も違えば考え方も違っています。

ざっくり言えば、RBSは公式(matz)に認められているのですが、後発でツールチェインが未熟です。 RBIというかsorbetは先発で大企業がゴリゴリに開発を進めているのでツールチェインが充実しています。

型ファイルとは

Rubyのコードとは別に型情報だけ書き出したファイルのことを指します。*1 TypeScriptでいう.d.tsファイルみたいなやつです。Cでいうと.hファイルでしょうか。 RBSではRubyのコードには直接型を書くことはせず、型ファイルを別に用意する方式をとっています。この場合のメリットは、これまでの書き味や読み味を保ったままにできること、既存資産を活用できることが考えられます。ちなみにRBIではRubyコードに直接書くことも、分けて書くこともできます。より直感的で漸進的な型付けできることがメリットです。

Rackアーキテクチャー

本プロダクトではRackの中でもミドルウェアスタックのアーキテクチャーを流用しています。シンプルなクラスをネストして繋げてcallで発火するモデルで、その形からオニオンアーキテクチャーとも呼ばれています。

このアーキテクチャーの概念的な元ネタはPythonのWSGIです。なので正確にはWSGIアーキテクチャーになるのかもしれませんが、"Rackアーキテクチャー"のほうがRubyプログラマーに馴染みがあるだろうと思ってこう呼んでます。

https://ja.wikipedia.org/wiki/Web_Server_Gateway_Interface

https://docs.pylonsproject.org/ より。この画像もスライドで使えばよかった

TracePoint

本プロダクトではTracePointというRuby組み込みクラスの名前がよく出てきます。なかなかアプリケーションコードで使われることは少ないかと思われますが、「特定のメソッドがどこからどの引数で呼ばれているのか、プログラムで取得したい」のように、Rubyのコードにモンキーパッチ無しでフックを仕掛けておくことができる便利な機能です。デバッグツールでよく使われていますが、今回ジェネレーター用途でも使ってみたらうまくいったよという話をします。

https://docs.ruby-lang.org/ja/latest/class/TracePoint.html