はじめに タイトルはお約束の釣りでただし、AIはAbstract Interpretationですって奴です。 ruby-signatureを抽象実行で生成しようってのがうまくいきそう(うまくいったとは言っていない)のでまとめてみます。 ruby-signatureって ruby-signatureはRubyのライブラリや組み込みクラス・メソッド等の戻り値の型情報を記述するための記法と型のデータベースです。ここ にあります。 型情報は手で書くことを想定しているわけですが、自動的に生成出来れば色々便利でしょう。 mmcについて mmcは私が作っているRubyからCに変換するコンパイラです。中に抽象実行をおこなって型を推定するエンジンを持っています。抽象実行とかそういうのは書かないのでここを見てください。 Enumerableの型を解析する おそらくとりあえず一番むつかしいのはEnumerab