レコードの型階層を合理的に説明できるか - 檜山正幸のキマイラ飼育記 (はてなBlog)

レコードデータの型階層（type hierarchy）は、ときおり考えてみる問題なのです。毎回考えた結果を忘れている(苦笑)ような気がするので書き留めておくことにしよう、っと。JavaScriptを事例に考えます。ただし、現状のJavaScriptの型システムは奇妙で不格好なところがあるので、JavaScript 2.0（ECMAScript 第4版）をベースにします。 [追記]id:mal_blueさんより、上に「JavaScript 2.0（ECMAScript 第4版）」として参照したURLは、現在では歴史的意味しか持たないことをご指摘いただきました。（コメント欄参照）。したがって、以下の説明で引用されている型システムが次期JavaScriptにそのままの形で取り入れられるわけではありません。 しかし、次期JavaScript仕様がどうなるかは、このエントリーと引き続くエントリーの内