2008-03-19から1日間の記事一覧
プログラム解析には二種類あって,「グローバルなもの」と「モジュラーなもの」がある.「グローバルなもの」というのはプログラム全体を見て処理する,ということ.フロー解析の類いは,グローバルだと思って良い.「モジュラーなもの」というのはプログラ…
暇をみつけては python の型推論をやっている (やろうとしている)。でも、いまだに本当にこれが「原理的に可能」なのかどうか疑問だ…。 http://www.unixuser.org/~euske/offline/memo/cur/cur.html#180812 「原理的に可能」とかについて.まず「原理的に可能…