<< 2009/03/24 | ホーム | 2009/03/26 >>

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

タグ : ,

昭和の軍閥、高橋正衛 著、講談社学術文庫

読了。

タグ :