ᛒ
Size: a a a
2020 February 26
NV
линейные прям мечта, но с ними (мне так кажется) еще никто не умеет работать (извлекать профит)
ну хз, раст показывает что научиться работать можно
DM
R
линейные прям мечта, но с ними (мне так кажется) еще никто не умеет работать (извлекать профит)
хотя бы на внешние ресурсы было бы здорово иметь
DM
ну хз, раст показывает что научиться работать можно
в расте у пользака не то чтоб прям линейные
DM
и хз что там под капотом
NV
в расте у пользака не то чтоб прям линейные
они аффинные да, но люди адаптировались и им зашло, можно и линейные
Oℕ
в расте нет полноценной ни линейной ни афинной системы типов
Oℕ
и та и другая предполагает возможность замыкания определять
NV
в расте нет полноценной ни линейной ни афинной системы типов
ты щас опять про стрелки будешь задвигать?
Oℕ
Это значит, что если что-то верно для самой простой минималистичной афинной системы типов, это не обязательно верно для раста.
Потому и задвигаю
Потому и задвигаю
Oℕ
Можно называть "система типов Раста", вдохновлена линейной
NV
и та и другая предполагает возможность замыкания определять
что мешает использовать для этого боксированные замыкания?
SK
ну чтобы никого не ебло, они бы и вести должны были себя нормально
Ну и этот аргумент сродни аргументу Харпера про то, что в хаскелле нет индуктивных типов. Ну да, нет, и что теперь. Хаскеллистам норм. Так же было бы и с полиморфик фанкшн типес
SK
сук, ненавижу с телефона набиратт
λ
ты про тех, кто их придумывает или тех, кто ими пользуется?
ᛒ
ну вспомни как джава появилась