В динамическом языке с номинативной системой типов, возможные типы образуют множество $2^U$, где $U$ - множество возможных значений переменных. Если при этом добавить в язык рефлексию, то получим что $2^U$ равномощно собственному подмножеству $U$. В таком мире должно быть очень просторно.
Это была реклама
Julia.