忍者ブログ

LAL 昭和な気まぐれ飛行機

LALのブログです。 http://eisl.kan-be.com/index.html

型推論

ISLispによる型推論に取り組んでいます。いくつか試作しつつ、バックトラックありのバージョンの骨組みができたところです。

とても興味深い課題です。ちょうど古典的人工知能のような感じも受けます。人間がISLispのコードから各引数、変数、返り値の型を推論することは容易です。しかし。コンピューターにこれをやらせるのにはけっこう頭を使います。

これが、うまく完成するとISLisp処理系のFASTコンパイラの生成コードを飛躍的に向上できると思われます。
PR

コメント

プロフィール

HN:
笹川
性別:
非公開

P R