DF
Анимированные стикеры не знаю как отключить
Size: a a a
2020 May 27
S
Зачем?
Т8
red75prime
Да. Проверяется тело функции, а не тип.
Я хочу поковырять Ди, там определённо над шаблонами поработали
S
Что за кансэл кульчур
S
?
AZ
Уникальные типы - это ФП фича тоже, смотри clean
Фп это прозрачность
AZ
Уникальные типы никак на неё не влияют
AZ
Т-34 85
Ты хочешь сделать ещё один язык, похожий на раст, но уже не системный?
Нет, мне идрис нравится
p
Этого, кстати, раст не делает.
как я понял, в neut будет одна аллокация
let x = String::new("test");
drop(x);
let y = String::new("fooo");как я понял, в neut будет одна аллокация
бля захотел затестить на годболте, он мне выдал тупо ret)
AZ
Нет
Да, уже обсуждалось
AZ
После мономорфизации происходит тайпчек
Так после а не до
p
Этого, кстати, раст не делает.
как я понял, в neut будет одна аллокация
let x = String::new("test");
drop(x);
let y = String::new("fooo");как я понял, в neut будет одна аллокация
а, ну String же аллоцирует на стеке. догадаться что здесь вторая строка влезает в первую трудновато
Т8
а, ну String же аллоцирует на стеке. догадаться что здесь вторая строка влезает в первую трудновато
А как работает класс Stroka?
S
Так после а не до
Ты серьёзно? Как связаны мета программирование и ут?
S
Утиная типизация это про слабую типизацию
S
Как это относится к сишке крестовой ?
S
И темплейтам
AZ
Ты серьёзно? Как связаны мета программирование и ут?
утиная типизация это маркетинговое название для структурной типизации. А это именно то, чем темплейты являются.
AZ
Просто берешь оределение, смотришь на то как работают темплейты, и понимаешь
S
утиная типизация это маркетинговое название для структурной типизации. А это именно то, чем темплейты являются.
Темплейты тюринг полные