union type の提案。union type は 2 つのクラスの同じ名前のメンバに関しては区別なく扱えるような型のこと。S と T の union type を (S or T) と書くことにして、D1 と D2 が C を継承して E1 が D1 を、E2 が D2 を継承しているとすると、E1 と E2 は (E1 or E2) の subtype で、D1, D2, (E1 or E2) は (D1 or D2) の subtype で、(D1 or D2) は C の subtype となる。あと、union type な式に対して具体的な値の型で分岐する case 文を導入。意味論と型付け規則を定義して健全性を証明。

author="Atsushi Igarashi and Hideshi Nagira",
title="{Union Types for Object-Oriented Programming}",
booktitle="SAC '06",
publisher="ACM",
pages="1435--1441",
year="2006"

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

コメント追加

投稿者 kw : 2010年1月22日 15:38:00 JST #

別に emobile を契約したとかいう話ではなくて、今住んでる建物の屋上に emobile の基地局が来るみたいです。21 日から工事らしい。だからといって何かあるわけではないですが。

コメント追加

投稿者 kw : 2010年1月20日 0:25:00 JST #

読了。

コメント追加

投稿者 kw : 2010年1月17日 23:18:00 JST #

読了。

コメント追加

投稿者 kw : 2010年1月11日 0:13:00 JST #

この前の春頃までメインで使っていたノート PC のデータを別の HDD にコピー。13.5GB くらいでファイル数が 23 万弱だったけど、6 時間半かかりました。あと、デスクトップ PC も古い方から新しい方へいろいろと移行。

コメント追加

投稿者 kw : 2010年1月9日 19:51:00 JST #

ようやく読了。買ったのは出版されてすぐだったから 2 年たってる。

コメント追加

投稿者 kw : 2010年1月9日 16:14:00 JST #

Solid Code、Donis Marshall, John Bruno 著、株式会社 日本ユニテック 訳、日経BP ソフトプレス

ようやく読了。

コメント追加

投稿者 kw : 2010年1月6日 21:57:00 JST #