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

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

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

E>"Типизировать" в каком смысле? Вывести типы автоматически или написать руками?
В смысле найти тип, который будет удовлетворять условиям. Руками или автоматически — неважно.