LINUX.ORG.RU

История изменений

Исправление www_linux_org_ru, (текущая версия) :

Наивно ожидать одинакового результата от выполнения одинаковой операции над выражениями разного типа.

Но если эти 2 выражения разного типа признаны равными, то наоборот, результаты должны быть одинаковыми. Это требование к равенству выражений (и к одинаковости операций).

Т.е. можно было бы терпеть A gt B, но A>B терпеть нельзя (я продолжаю тот пример aAbB как если бы регистр букв имел значение)

Исправление www_linux_org_ru, :

Наивно ожидать одинакового результата от выполнения одинаковой операции над выражениями разного типа.

Но если эти 2 выражения разного типа признаны равными, то наоборот, результаты должны быть одинаковыми. Это требование к равенству выражений (и к одинаковости операций).

Исходная версия www_linux_org_ru, :

Наивно ожидать одинакового результата от выполнения одинаковой операции над выражениями разного типа.

Но если эти 2 выражения разного типа признаны равными, то наоборот, результаты должны быть одинаковыми. Это требование к равенству.