История изменений
Исправление den73, (текущая версия) :
Ты доказал, что твое определение q(x) бесполезно.
У меня нет никакого своего определения. Я взял его из Википедии:
Subtype Requirement: Let ϕ ( x ) be a property provable about objects x of type T. Then ϕ ( y ) should be true for objects y of type S where S is a subtype of T.
Сейчас я смотрю первоисточник, чтобы понять, что они понимают под этим. Но в статьях, например, на Хабре, это не расшифровывается и о необходимости сузить ϕ речи не идёт. Партия сказала «надо» - комсомол ответил «есть». Победа ученика - победа школы. Поражение ученика - поражение ученика. Поражает, что программирование всё же находится рядом с математикой, а мысли всё равно спускают людям сверху.
Исправление den73, :
Ты доказал, что твое определение q(x) бесполезно.
У меня нет никакого своего определения. Я взял его из Википедии:
Subtype Requirement: Let ϕ ( x ) be a property provable about objects x of type T. Then ϕ ( y ) should be true for objects y of type S where S is a subtype of T.
Сейчас я смотрю первоисточник, чтобы понять, что они понимают под этим. Но в статьях, например, на Хабре, это не расшифровывается и о необходимости сузить ϕ речи не идёт. Партия сказала «надо» - комсомол ответил «есть». Победа ученика - победа школы. Поражение ученика - поражение ученика. Поражает, что программирование всё же находится рядом с математикой, а мысли всё равно спускают людям сверху.
Исходная версия den73, :
Ты доказал, что твое определение q(x) бесполезно.
У меня нет никакого своего определения. Я взял его из Википедии:
Subtype Requirement: Let ϕ ( x ) be a property provable about objects x {\displaystyle x} x of type T. Then ϕ ( y ) should be true for objects y of type S where S is a subtype of T.
Сейчас я смотрю первоисточник, чтобы понять, что они понимают под этим. Но в статьях, например, на Хабре, это не расшифровывается и о необходимости сузить ϕ речи не идёт. Партия сказала «надо» - комсомол ответил «есть». Победа ученика - победа школы. Поражение ученика - поражение ученика. Поражает, что программирование всё же находится рядом с математикой, а мысли всё равно спускают людям сверху.