<< 本 | ホーム | 本 >>

Soft Typing

静的型付けできないところは実行時に検査すればいいよね、という立場の型付け手法。論文には、静的型付けと動的型付けのいいとこ取りって書いてある。型の決定も実行時検査コードの挿入も自動的に行うみたいだけど、途中で議論についていけなくなったのでもう一度読むかも。

author="Robert Cartwright and Mike Fagan",
title="{Soft Typing}",
booktitle="SIGPLAN 1991",
publisher="ACM",
year="1991"

http://doi.acm.org/10.1145/113445.113469

タグ : ,



コメント追加 トラックバック送信