> -- Драконограф писал(а):
> к "старой" алгоритмизации алгебры (по тому же Вельтману) это тоже относится?..Там просто инструмент. В обычном языке забота встраивать АССЕРТы и прочие проверки -- лежит на программисте. Инструмент только предоставляет такую возможнось.