型理論 "Applied Type System" の禅問答的な解説

あるAnonymous Coward 曰く、

「禅問答的に #ATS2 の型理論を説明してみたよ http://togetter.com/li/752948 」というtogetterのまとめが話題のようだ。

通常の型理論では、まず型を定義して、その型のコンストラクタによって値を生成する。ところがこの型理論 "Applied Type System" では既に存在する値に型を割り当てている。 (Applied Type)

この型理論のエポックメイキングなところはコンストラクタを型理論の中で不要にすることによって、ヒープを使わなくても型の実装ができるところだろう。

情報元へのリンク