Безусловно) Но это уже темы для длительных марудных исследований в стиле "А если мы запретим в алгоритмах то-то и то-то, насколько ограничится класс языков, можно ли будет что-то сказать наверняка про свойства?" Я не видел ни одного примера такой статьи... но честно сказать, и не искал.
Ну и кроме того, существуют же и неинвариантные свойства.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: Saturday, 4 September 2010 20:41 (UTC)Ну и кроме того, существуют же и неинвариантные свойства.