Size: a a a

2021 February 01

EG

Emmanuel Goldstein in rust_offtopic
pacman -S lambdac не работает и LPAN в интернете не открывается
источник

EG

Emmanuel Goldstein in rust_offtopic
"Возьми готовые завтипы" было бы аргументом, если бы у кого-нибудь это бы вообще получилось сделать
А на практике это теоретический концепт, который нормально не получилось сделать ни у кого вообще
источник

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
"Возьми готовые завтипы" было бы аргументом, если бы у кого-нибудь это бы вообще получилось сделать
А на практике это теоретический концепт, который нормально не получилось сделать ни у кого вообще
Даже Раст за 10 лет не сделали
источник

p

polunin.ai in rust_offtopic
А ты про завтипы
источник

EG

Emmanuel Goldstein in rust_offtopic
polunin.ai
Даже Раст за 10 лет не сделали
Раст не принципиально менее юзабелен, чем любой другой продовый язык
Всё говно
источник

EG

Emmanuel Goldstein in rust_offtopic
Да и делали его, если быть честным, скорее 5 лет, чем 10
источник

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Раст не принципиально менее юзабелен, чем любой другой продовый язык
Всё говно
Я про то что нереально одному чуваку сделать завтипы даже за 10 лет
источник

EG

Emmanuel Goldstein in rust_offtopic
polunin.ai
Я про то что нереально одному чуваку сделать завтипы даже за 10 лет
Вот и я про это же
источник

p

polunin.ai in rust_offtopic
Потому что даже Раст не смогли
источник

DS

Doge Shibu in rust_offtopic
Emmanuel Goldstein
"Возьми готовые завтипы" было бы аргументом, если бы у кого-нибудь это бы вообще получилось сделать
А на практике это теоретический концепт, который нормально не получилось сделать ни у кого вообще
Да потому что никто не пытался его делать для практических целей
источник

p

polunin.ai in rust_offtopic
Нужны лбди
источник

SP

Stanislav Popov in rust_offtopic
вспоминаю что у практиков и статика любая это теоретический концепт потому что они то кавередж не находят, то профайлер семплирующий то еще чтото
источник

p

polunin.ai in rust_offtopic
Но это не говорит что "завтипы не работают"
источник

EG

Emmanuel Goldstein in rust_offtopic
А вот тупо выполнять константные функции на типах — много ума не надо
источник

DS

Doge Shibu in rust_offtopic
Все попытки в зав типы - это пруверы и только пруверы
источник

EG

Emmanuel Goldstein in rust_offtopic
Это, вон, и Zig умеет
источник

DS

Doge Shibu in rust_offtopic
И они очевидно работают полноценно только на индуктивных типах
источник

DS

Doge Shibu in rust_offtopic
По вполне себе очевидным причинам
источник

DS

Doge Shibu in rust_offtopic
(Потому что в пруфах никому не индукутивные типы не нужны)
источник

p

polunin.ai in rust_offtopic
А в языках индуктивные никому не нужны
источник