> -- Иван Кузьмицкий писал(а):
> Наверное, имелась в виду ракета "Ариан", а не Ариадна. А в чём пересмотр?
Исходил из того, что речь идет о французском названии, а вотперевод

Просто я не до конца понимал, почему же, все-таки, в Обероне такой жесткий подход к типизации и почему для приведения типов используются специально выделенные функции.
Кроме того, Design by Contract (из Eiffel) мне до сих пор казался чем-то непостижимым, и уж тем более, мне не очень понятны были в этом свете ASSERTы.
Оказалось, я просто не умею их готовить

PS. А вот и один из русскоязычных вариантов:текст