в
И DeriveGeneric тоже было бы замечательно
не уверен, что без hkt можно нормальные дженерики иметь
Size: a a a
2020 December 29
DS
не уверен, что без hkt можно нормальные дженерики иметь
Можно иметь их не как полноценные в хаскеле, а как те же в скаловском шейплессе
DS
А они и сейчас в расте более-менее работают
T1
это же тайпроли надо вводить, чтобы такое заработало
Тайпроли
T1
p
Если бы подрачивали, то это был бы сразу язык с нормальным (ML) синтаксисом, нормальной системой типов изначально, с системой эффектов и т.д. и т.п.
Да. Они скорее подсматривали, причем у них косоглазие судя по всему.
а
раст это OCaml без GC
p
Ну и кстати, смотрели бы нормально авторы раста на ФП языки у них бы и дерайвинг был бы человеческий, а не как сейчас
НУ, дерайвинг относительно нормальный
Т8
раст это OCaml без GC
F# без GC
H
Да. Они скорее подсматривали, причем у них косоглазие судя по всему.
кек
DS
НУ, дерайвинг относительно нормальный
Нет, где он нормальный? GeneralizedNewtypeDeriving нету, DeriveVia нету
DS
Это не называется нормальным
DS
На 2020й год
p
Я же сказал "относительно"
Т8
кек
есть версия, что ты приложил руку к разработке Zig. Сознавайся!
p
Потому что его в принципе нигде нет, а то что есть сейчас - лучше чем отсутствие
H
Т-34 85
есть версия, что ты приложил руку к разработке Zig. Сознавайся!
лол, откуда?
H
эта версия