<< 本 | ホーム | 型エラースライシングによるデッドロックの原因特定 >>

Recency Types for Dynamically-Typed, Object-Based Languages

JavaScript のような動的型付けでオブジェクトな言語の型システムの提案。うまいようにも見えるし微妙な感じにも見えるのは読み方が甘いのかなんなのか。同じロケーションに割り付けられたオブジェクトは基本的には最新のものしか見えなくて、古いのはそこにあったことだけわかるような仕掛けになっている。preservation と progression が示されているけど、やっぱりどことなく納得いかない感じ。

author="Philip Heidegger and Peter Thiemann",
title="{Recency Types for Dynamically-Typed, Object-Based Languages}",
booktitle="FOOL'09",
publisher="ACM",
year="2009"

タグ : ,



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