Здравствуйте, BulatZiganshin, Вы писали:

G>>Вопрос в ограничениях синтаксиса языка.

BZ>вопрос в строгой типизации. надо перестраивать мышление от динамических языков к статическим. судя по твоим темам, ты борешься не с теми демонами

Я не борюсь — я читаю SICP, знакомлюсь с OCaml и программирую на Java (Swing + EJB + custom DAO + Oracle).

Данный вопрос — это вообще-то "idle curiosity"
Интересно можно ли токое сделать — хотя бы чисто теоритически.
Интуитивно чуйствую что используя бесконечные рекурсивные типы — можно, но для более рационального рассуждения математической базы всё-таки не хватает
--
Beatus vir qui suffert tentationem,
Quoniam cum probatus fuerit
Accipiet coronam vitae,