2011-01-01から1年間の記事一覧

ytljitの型推論の説明(その6)

なんだかんだで、2か月以上さぼってました。その6です。 今回はsame_typeの実装の話です。 same_typeはdstというノードがdsigというシグネチャでノードが存在するメソッドやブロックを実行している時、srcというノードのssigというシグネチャでの型と同じに…