История изменений
Исправление www_linux_org_ru, (текущая версия) :
Поэтому утверждение «эти две переменные с разными значениями имеют один тип» вообще бессмысленно.
ыыы!
слишком толсто
да, компилятору надо подыскивать разумное понимание слова «тип», но это вполне реально
Если тип = «множество из одного значения», то всегда ответ «нет»,
а тут ты просто неправ — ответ иногда «да», и есть *практически* важный случай, когда именно это надо:
например, скалярное произведение двух векторов x и y имеет смысл только тогда, когда размерности их совпадают, т.е. type(x.dimension)==type(y.dimension) настолько, что даже x.dimension==y.dimension
если тип = Any, то всегда «да»...
... но у Any почти нет методов, и поэтому (почти всегда) тайпчекнуть код невозможно, поэтому *этот* ответ «да» компилятор не устроит
Исходная версия www_linux_org_ru, :
Поэтому утверждение «эти две переменные с разными значениями имеют один тип» вообще бессмысленно.
ыыы!
слишком толсто
да, компилятору надо подыскивать разумное понимание слова «тип», но это вполне реально
Если тип = «множество из одного значения», то всегда ответ «нет»,
а тут ты просто неправ — ответ иногда «да», и есть *практически* важный случай, когда именно это надо:
например, скалярное произведение двух векторов x и y имеет смысл только тогда, когда размерности их совпадают, т.е. type(x.dimension)==type(y.dimension) настолько, что даже x.dimension)==y.dimension
если тип = Any, то всегда «да»...
... но у Any почти нет методов, и поэтому (почти всегда) тайпчекнуть код невозможно, поэтому *этот* ответ «да» компилятор не устроит