История изменений
Исправление buddhist, (текущая версия) :
Мы можем «number» либо вешать, либо не вешать. Другое дело, что на практике это не будет иметь смысла, и обычно значения разных типов 1 и 2 относятся к множеству других типов, в том числе number.
Подобная система типов не в ООП есть, к примеру в Typed Racket. Там числа 0 и 1 относятся к типам 0 и 1, а дальше по иерархии от Positive Integer до Any.
http://docs.racket-lang.org/ts-reference/type-ref.html
В математике тип представляет собой именно такую конструкцию.
В Racket также можно обратить внимание на Occurence Typing.
Исправление buddhist, :
Мы можем «number» либо вешать, либо не вешать. Другое дело, что на практике это не будет иметь смысла, и обычно значения разных типов 1 и 2 относятся к множеству других типов, в том числе number.
Подобная система типов не в ООП есть, к примеру в Typed Racket. Там числа 0 и 1 относятся к типам 0 и 1, а дальше по иерархии от Positive Integer до Any.
http://docs.racket-lang.org/ts-reference/type-ref.html
В математике тип представляет собой именно такую конструкцию.
Исправление buddhist, :
Мы можем «number» либо вешать, либо не вешать. Другое дело, что на практике это не будет иметь смысла, и обычно значения разных типов 1 и 2 относятся к множеству других типов, в том числе number.
Подобная система типов не в ООП есть, к примеру в Typed Racket. Там числа 0 и 1 относятся к типам 0 и 1, а дальше по иерархии от Positive Integer до Any.
В математике тип представляет собой именно такую конструкцию.
Исходная версия buddhist, :
Мы можем «number» либо вешать, либо не вешать. Другое дело, что на практике это не будет иметь смысла, и обычно значения разных типов 1 и 2 относятся к множеству других типов.
Подобная система типов не в ООП есть, к примеру в Typed Racket. Там числа 0 и 1 относятся к типам 0 и 1, а дальше по иерархии от Positive Integer до Any.
В математике тип представляет собой именно такую конструкцию.