- XMLフレンドリーな型システム -- 「折れ線の例」から導かれること -- : 「折れ線の例」で示した現象に基づき、XMLと相性が良い型システムについて考えてみる。
この記事の本筋の話題ではないのですが、第7節で触れている構文的型システムは、僕がずっと欲しがっている「意味に言及しなくて済むような仕掛け」なんです。
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
この記事の本筋の話題ではないのですが、第7節で触れている構文的型システムは、僕がずっと欲しがっている「意味に言及しなくて済むような仕掛け」なんです。