> -- Rifat писал(а):
> есть языки, где эти понятия гармонично ложатся на язык и там их чаще всего используют, а есть языки программирования, где их можно с трудом описать, поэтому их там чаще всего не описывают.Ни в каких языках эти понятия не описывают. Их используют. И тоже не в языках. А в программах. Которые не из слов языка остоят, а много из чего. А текст программы - это лишь жалкое отражение того, что имеется в виду на самом деле.

Плюсы не сказать, что хуже Оберона в этом месте. Эйфиль я бросил изучать не дойдя до середины, поэтому моё мнение на его счёт слишком грубое, но на мой взгляд и в этом языке понятия постусловий, инвариантов и предусловий лишь косметические. Ни от каких ошибок в этом аспекте язык не защищает. Да и вообще непонятно, как от таких ошибок может защитить хоть како-нибудь язык программирования.