a
Напомнило об этом замечательном видео - https://www.youtube.com/watch?v=TS1lpKBMkgg
Size: a a a
2021 January 31
a
вообще читать людей, которые знают только мэйнстрим языки, но думают они много знают о дизайне языков программирования - вредно.
λ
та я про статью а не коменты
a
статья неплохая, но страдает от того же синдрома мне кажется
a
в самом начале написал "For whatever reason "linear" types in Rust came up at work today, at which point I made my usual assertion that they'd be a nightmare to implement, because they don't compose well"
a
но в самой статье об этом ни слова
a
т.е. чувак явно отлично знает раст, но не пробовал пользоваться языками с чисто линейной системой типов. поэтому аргументы сводятся к "мне и так нравится, что пристали, я давно уже на расте пишу, мне хорошо"
a
как и во всякой дискусии по поводу систем типов
a
попробуй доказать С#/С++ юзеру, что erasure - не такая уж и проблема
AΛ
вообще читать людей, которые знают только мэйнстрим языки, но думают они много знают о дизайне языков программирования - вредно.
А в сторону каких не мейнстримных стоит посмотреть?
a
много есть интересного. я могу посоветовать только то, что сам хоть чуток знаю. Prolog, Haskell, Rust, Erlang, Scheme, Idris. линейщина есть в последних версиях хаскеля, в Idris 2, и Curry.
a
есть много совсем экспериментальных языков, но их наверно советовать не стоит 😅
AΛ
Ааа, ну так Haskell тоже относительный мейнстрим
a
ну тут как-бы либо мэйнстрим, либо настолько экспериментально, что фиг сделаешь что-либо практичное
a
Unison интересный
AΛ
Ну на idris 2 тоже особо практичное пока не выйдет
λ
в унисоне есть линейные типы?
a
нет, но там система типов с эффектами интересная
a
ну и всякое хэширование и контент-адресация
Oℕ
в унисоне есть линейные типы?
Развитых ЯП, которые включают линейные типы как субъязык сейчас нет.
Ни хаскель, ни идрис 2 ни тем более раст к таким не относятся
Ни хаскель, ни идрис 2 ни тем более раст к таким не относятся