RB
и я уже делал
Size: a a a
2021 March 03
ΑZ
Roman Blog
Ну на самом деле он один единственный и есть только в С++, ну может там ещё какой-то огрызок есть в языках с завтипами. Ну или проще - статический. Есть полиморфизм динамический - это всё то, что принято называть полиморфизмом
полиморфизм в расте как раз статический в основном. То что чекается тело по констрейнтам, а не после подстановки - не делает его сколько-нибудь менее статическим
А⚙
Roman Blog
и я уже делал
Там индексы, известные на этапе компиляции. Нещитово
RB
в плюсах проблема в том, что нельзя контролировать скоуп. Но эта просто реализуется - просто особенность крестов
ΑZ
рекомендую почитать что-нибудь по теории типов. Хотя бы просто чтобы интуитивное представление обернуть в что-то структурное
RB
Там индексы, известные на этапе компиляции. Нещитово
нет, их там нет. Там было if(x == n) {a} else {b}
А⚙
рекомендую почитать что-нибудь по теории типов. Хотя бы просто чтобы интуитивное представление обернуть в что-то структурное
Ты так говоришь, как будто он умеет читать
RB
там любое свойство может быть. Индекс там был просто, чтобы доказать равенство для N
А⚙
Roman Blog
там любое свойство может быть. Индекс там был просто, чтобы доказать равенство для N
Показывай
RB
Показывай
Ты показывай. Идёшь и показываешь где там не то, что нужно.
RB
полиморфизм в расте как раз статический в основном. То что чекается тело по констрейнтам, а не после подстановки - не делает его сколько-нибудь менее статическим
Именно что динамический. Чекается тело по констрейтам там потому, что иначе чекатся оно не может. Это основная проблема дин-полиморфизма. Чекать констрейтами можно и в рамках статического. Вся разница в том, что является ли это обязательным, либо нет
ΑZ
Roman Blog
если же нет, то мы не знаем какой в неё пришёл тип. Т.е. мы не можем сделать sizeof(именно на уровне языка). Именно поэтому динамический полиморфизм не может быть в статическом языка, потому как в статическом языке нам нужно знать sizeof
нет, тут речь о параметричности - функция должна работать одинаково для всех Т. А "если Т вдруг оказалось интом то сделай пожалуйста ещё вот это" - нарушение параметричности. Так делают. но это рушит много полезных свойств япа
А⚙
Roman Blog
Ты показывай. Идёшь и показываешь где там не то, что нужно.
Ты сделал — ты и показывай
А⚙
нет, тут речь о параметричности - функция должна работать одинаково для всех Т. А "если Т вдруг оказалось интом то сделай пожалуйста ещё вот это" - нарушение параметричности. Так делают. но это рушит много полезных свойств япа
Так-то Rust не параметричный
RB
Ты сделал — ты и показывай
Я уже показывал. ТЫ начал отрицать. Очевидно, что ты будешь это делать всегда. ЧТо бы я не показал.
ΑZ
нахуй ваш этот борроу чекер в общем. буду все оборачивать в целлы и рефцеллы.
давно пора
А
Roman Blog
Именно что динамический. Чекается тело по констрейтам там потому, что иначе чекатся оно не может. Это основная проблема дин-полиморфизма. Чекать констрейтами можно и в рамках статического. Вся разница в том, что является ли это обязательным, либо нет
Какой динамический? Ты с дуба рухнул? В расте статичнее некуда.
ΑZ
Какой динамический? Ты с дуба рухнул? В расте статичнее некуда.
динамический у него означает структурный. Как макрос короч. Или шарповая функция с тайпофами
А⚙
Roman Blog
Я уже показывал. ТЫ начал отрицать. Очевидно, что ты будешь это делать всегда. ЧТо бы я не показал.
Я не буду это сейчас искать, ибо не знаю, где. К тому же, если ты это уже делал, тебе не составит труда сделать ещё раз
А
динамический у него означает структурный. Как макрос короч. Или шарповая функция с тайпофами
бляяяяяя, я то думал он про сабтайпинг говорит