XMLフレンドリーな型システム

• XMLフレンドリーな型システム -- 「折れ線の例」から導かれること -- : 「折れ線の例」で示した現象に基づき、XMLと相性が良い型システムについて考えてみる。

この記事の本筋の話題ではないのですが、第7節で触れている構文的型システムは、僕がずっと欲しがっている「意味に言及しなくて済むような仕掛け」なんです。