> -- Rifat писал(а):
> Да, смысл в том, чтобы не просто закрепить какие-то аксиомы для типа boolean, integer и все на этом, а в том, чтобы можно было добавлять новые понятияВ этом направлении движется язык SPLang, развиваемый Зуевым и Канатовым. Но они и boolean и integer выводят из более общих понятий. Также в языке предусмотрены контракты, наподобие того, как сделано в Eiffel.