soutaro https://blog.hatena.ne.jp/soutaro/ soutaroブログ https://soutaro.hatenablog.com/ プログラム解析には二種類あって，「グローバルなもの」と「モジュラーなもの」がある．「グローバルなもの」というのはプログラム全体を見て処理する，ということ．フロー解析の類いは，グローバルだと思って良い．「モジュラーなもの」というのはプログラムの一部分だけを見て，答えが(部分的に)出てくるもの．例えば型推論とか．グローバルとモジュラーの違いっていうのは，つまり無限をどういうふうに扱うか，ということだと思う．型推論の話で言えば，プログラム全体が入力としてあるならば，多相型というのは問題じゃなくなる．多相型を持つべき関数がどういう風に使われているかを全て検出できるなら，関数をコピーしてやるだけで，多相… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsoutaro.hatenablog.com%2Fentry%2F20080319%2F1205945532" title="プログラム解析を分類する - soutaroブログ" 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 2008-03-19 01:52:12 rich https://soutaro.hatenablog.com/entry/20080319/1205945532 1.0 100%