Rn
У нас есть тип A и есть некое преобразование в производный тип B, при этом тип B должен знать, что B является производным от A и операции X
Size: a a a
2020 July 18
KR
Что такое "знать" в твоём определении?
p
У нас есть тип A и есть некое преобразование в производный тип B, при этом тип B должен знать, что B является производным от A и операции X
Что значит "тип В должен знать"?
Rn
То и значит. В скриптухе этого нет, но понимай так. В С++ это есть
KR
Напиши, как оно там есть. Дай пример.
p
То и значит. В скриптухе этого нет, но понимай так. В С++ это есть
Знать может только человек.
Rn
значить - это значит, что признак этого записан в тип и его можно оттуда извлечь
p
Ок, последний вопрос: что такое "тип"?
Rn
А неважно что. Что угодно, некий идентификатор привязанный к значению.
p
А неважно что. Что угодно, некий идентификатор привязанный к значению.
Имя переменной подходит под это определение.
A
Тогда уж Arend не забудьте)
arend же вроде не язык программирования?
Rn
Имя переменной подходит под это определение.
Нет, он не привязан. К тому же значение может быть не привязано к переменной. Ты перданул в лужу
Rn
да мне насрать что тебе марьяивановна за партой рассказала
KR
Тогда, следуя твоему определению, следующее будет завтипом (пишу на расте, плюсы не знаю):
trait Added<N> {}
struct A;
struct B;
impl Added<A> for B {}
Но очевидно, что это НЕ завтипы в привычном понимании этого слова.
trait Added<N> {}
struct A;
struct B;
impl Added<A> for B {}
Но очевидно, что это НЕ завтипы в привычном понимании этого слова.
KR
arend же вроде не язык программирования?
Там речь шла про пруверы, да
Rn
Тогда, следуя твоему определению, следующее будет завтипом (пишу на расте, плюсы не знаю):
trait Added<N> {}
struct A;
struct B;
impl Added<A> for B {}
Но очевидно, что это НЕ завтипы в привычном понимании этого слова.
trait Added<N> {}
struct A;
struct B;
impl Added<A> for B {}
Но очевидно, что это НЕ завтипы в привычном понимании этого слова.
Нет, у тебя теряются типы. Ты не сможешь это реализовать. К тому же это только одно из условий. Нужно писать, хранить и читать
Rn
ты, предположим, показал как хранить(на самом деле нет)
A
Там речь шла про пруверы, да
Ну просто ставить arend и idris рядом это такое.
Rn
Боже, твои обычные числа никому не интересны
KR
Нет, у тебя теряются типы. Ты не сможешь это реализовать. К тому же это только одно из условий. Нужно писать, хранить и читать
Так дай внятное определение. Что за фигня? Откуда "ещё условия" взялись?