r
Какое-то высказывание человеку приписали, но точно неизвестно говорил он это или нет.
Size: a a a
2021 May 27
H
нормальное название для концепции, кмк
H
в Idris тоже интерфейсы
а
А в кок тайпклассы
H
datatype99 — это полиморфизм по данным
interface99 — это полиморфизм по поведению
interface99 — это полиморфизм по поведению
H
да понапридумывали названий хуй разберёшься теперь
H
почти одно и то же по большому счёту
H
зависит от языка к языку
а
тут +
H
единственная проблема в том, что полиморфизм по поведению не тайпчекается. но это не беда — генерируем inline тайпчекающих функций и вуоля
H
а все программирование это данные и поведение
AN
👍👍👍
а
кстати а вы не знаете как в C++ хранятся замыкания для лямбд?
int n = 10;
int n = 10;
function<void()> func = [=](){
cout << n << "\n";
}
как я понял этот код захватывает n по значению и сохраняет замыкание в куче, а указатель на замыкание кладёт в funcа
непонятно только в какой момент это замыкание удаляется: оно может быть за unique_ptr (Box<>) и удаляется в конце блока, а может за рефкаунтом shared_ptr (Rc<>)
ИЛ
А если аллокатора нет?
AN
откуда взялся бокс вообще?
ΑZ
так же как в расте. Правда в отличие от раста ты указывашеь для каждой конкретной переменной в засмыкании как забюирать
ΑZ
а в расте либо все по референсу либо все муваешь
ΑZ
function вроде реализует RAII