История изменений
Исправление www_linux_org_ru, (текущая версия) :
Наивно ожидать одинакового результата от выполнения одинаковой операции над выражениями разного типа.
Но если эти 2 выражения разного типа признаны равными, то наоборот, результаты должны быть одинаковыми. Это требование к равенству выражений (и к одинаковости операций).
Т.е. можно было бы терпеть A gt B, но A>B терпеть нельзя (я продолжаю тот пример aAbB как если бы регистр букв имел значение)
Исправление www_linux_org_ru, :
Наивно ожидать одинакового результата от выполнения одинаковой операции над выражениями разного типа.
Но если эти 2 выражения разного типа признаны равными, то наоборот, результаты должны быть одинаковыми. Это требование к равенству выражений (и к одинаковости операций).
Исходная версия www_linux_org_ru, :
Наивно ожидать одинакового результата от выполнения одинаковой операции над выражениями разного типа.
Но если эти 2 выражения разного типа признаны равными, то наоборот, результаты должны быть одинаковыми. Это требование к равенству.