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

G>Но даже наличие "ленивой" (нормальной) типизации есть теорема Геделя о неполноте, так что можно будет найти корректные выражения, которые невозможно типизировать.

"Типизировать" в каком смысле? Вывести типы автоматически или написать руками?