h_sakurai https://blog.hatena.ne.jp/h_sakurai/ Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記 https://h-sakurai.hatenadiary.org/ Scala 前方参照できる型推論をするには依存関係を調べて順番に並べる必要があります。 どう調べたら良いのかと調べてたらトポロジカルソートをするのが基本みたいでした。https://gist.github.com/ThiporKong/4399695tsort.scalaで検索したら凄く短いけど、分からないので普段使わない関数は書き換えていつも使っている関数に書き直してみました。 それでもうまく説明が出来ないので、検索してみると以下のページが分かりやすかったです。http://ameblo.jp/mingw/entry-10389158344.html参照されていない物から取り除いて無くなるまで繰り返し、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fh-sakurai.hatenadiary.org%2Fentry%2F20140220%2Fp1" title="トポロジカルソート - Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-02-20 00:00:00 rich https://h-sakurai.hatenadiary.org/entry/20140220/p1 1.0 100%