2008-03-19から1日間の記事一覧

プログラム解析を分類する

プログラム解析には二種類あって,「グローバルなもの」と「モジュラーなもの」がある.「グローバルなもの」というのはプログラム全体を見て処理する,ということ.フロー解析の類いは,グローバルだと思って良い.「モジュラーなもの」というのはプログラ…

型推論について

暇をみつけては python の型推論をやっている (やろうとしている)。でも、いまだに本当にこれが「原理的に可能」なのかどうか疑問だ…。 http://www.unixuser.org/~euske/offline/memo/cur/cur.html#180812 「原理的に可能」とかについて.まず「原理的に可能…