集合論に基づいた言語を作りたい

[213 デフォルトの名無しさん 2014/09/10(水) 23:20:47.47 ID:MIzNsnl2]

>>212
単純型とは、他の型から構成されることのないデータ型であり、
文字列型の他には、論理型、文字型、列挙型、数値型がある
関数型言語の Lisp や論理型言語の Prolog だとアトムとも呼ばれる