オブジェクトが immutable かどうか検査する型システムの提案。read-only かどうか、owner が誰か、などを記述する。あと、コンストラクタ内でのみ mutable であること、コンストラクタが this を外部に見せないことなども要請。Javari は参照の immutability を検査するけど、こっちは参照ではなくオブジェクトなのが違う。

author="Christian Haack and Erik Poll and Jan Schäfer and Aleksy Schubert",
title="{Immutable Objects for a Java-Like Language}",
booktitle="Proceedings of the 16th European Symposium on Programming",
publisher="Springer",
volume="4421",
series="LNCS",
pages="347--362",
year="2007"

コメント追加

投稿者 kw : 2009年7月20日 14:53:00 JST #

DOM API に対する型システムの提案。Java の型システムを拡張する形で定義。属性ノードは高々一つの要素に属するとか、要素と属性は同じドキュメントに由来するとか、そういった制約を型付け規則として記述する。意味も定義して健全性が示されている。

author="Peter Thiemann",
title="{A Type Safe DOM API}",
booktitle="DBPL 2005",
publisher="Springer",
volume="3774",
series="LNCS",
pages="169--183",
year="2005"

コメント追加

投稿者 kw : 2009年7月13日 10:59:00 JST #

車のタコメータの針の照明が 2 週間くらい前に切れてしまってたのをようやく修理してもらいました。なんか前より明るくなったような気がします。ついでにオイル交換も。最近は走る距離が激減してるけど、夏の間にどこか行きたいかな。

コメント追加

投稿者 kw : 2009年7月12日 12:49:00 JST #

ゼノンのパラドックス、Joseph Mazur 著、松浦俊輔 訳、白揚社

読了。

コメント追加

投稿者 kw : 2009年7月8日 10:17:00 JST #

型エラーが発生したら構文木を「適当に」変更して型付け可能か調べ、型付け可能になるような変更をユーザに提示する手法の提案。構文木をどう変更するか、見つけた変更をどう提示するか、といったあたりが中心。

author="Benjamin Lerner and Dan Grossman and Craig Chambers",
title="{SEMINAL: searching for ML type-error messages}",
booktitle="ML'06",
publisher="ACM Press",
pages="63--73",
year="2006"

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

コメント追加

投稿者 kw : 2009年7月7日 10:08:00 JST #

アインシュタインの反乱と量子コンピュータ、佐藤文隆 著、京都大学学術出版会

読了。

コメント追加

投稿者 kw : 2009年6月25日 21:30:00 JST #

50 Fresh JavaScript Tools That Will Improve Your Workflow

コメント追加

投稿者 kw : 2009年6月23日 16:57:00 JST #