Catyの型システムの特異性 :: return0 note

Catyの型システムは主流のプログラミング言語にはあまり見られない特徴があり、それのせいで処理系の開発が極端に容易になったり面倒になったりするので、ちょっとそれらの一部をまとめてみる。 未知(undefined)、無効(null)、空(never)が型として存在する † この三者はそれぞれまったく異なる。 nullはJSONに含まれるシングルトンである。 undefinedはJSONに含まれないが、Caty内のインスタンス領域には存在する。 neverは空集合であり、Caty内のインスタンス領域に存在しない。 空オブジェクト({})、空の配列([])はいずれもれっきとしたシングルトンであると同時にオブジェクト、配列のインスタンスであり、空集合ではない事に注意。 実際にはundefinedの扱いはいろいろややこしい。 ルーズ配列がある † 以下はCatyの配列として合法なデータである。 [1