AG
наследование удобно в алгебре потому что там есть уже придуманная жёсткая иерархия, которая используется для чего то другого
Size: a a a
2020 October 03
AG
возможно проблемы наследования вылазят сильнее когда иерархия сочиняется на ходу
AA
можно например поискать пример почти ФП языка, где
fromList - это не десять разных функций для каждой коллекции, которые нужно с префиксами импортить, и посмотреть, как там это сделаноэто для вывода типов просто и/или простых сигнатур, вон в векторе наколхозили аж N версий для каждой функции с простыми сигнатурами не для одного
convertAA
масса хачкелистов вообще люто ненавидит полиморфизм воюет со всякими фолдаблами, траверсаблами, инстансами монад для почти всего, линзами и т.д.
А⚙
Есть такой для синтаксиса списков. Вывод ломает
Ну вот в расте что-то не особо ломает
Oℕ
смешно
Oℕ
что может быть неломающей, чем
collect::<ANonBrokenTypeInference>()Oℕ
.collect() никогда не работает
А⚙
что может быть неломающей, чем
collect::<ANonBrokenTypeInference>()В хаскелле будет
ANonBrokenTypeInference.fromListOℕ
В хаскелле будет
ANonBrokenTypeInference.fromListБудет ANTI.fromList
AA
Ну вот в расте что-то не особо ломает
в расте нету вывода типов, ломать нечего
А⚙
.collect() никогда не работает
Если ты сразу итерируешься по тому, что наколлектил, то да
Oℕ
Если ты сразу итерируешься по тому, что наколлектил, то да
Что значит "сразу"
Oℕ
Оно и в let не выводит
Oℕ
Оно просто никогда не выводит
А⚙
А если это выражение для какого-нибудь поля структуры, или аргумента функции, то выводит
Oℕ
Если это выражение для места, где тип известен и выводить его не надо, то выводит?
Oℕ
Вон он как вывод типов-то работает
YP
Чет плагин для вс кода отвалился. Не может найти хлс и сам качать не пытается. Говноделы эти хаскелисты.
2020 October 04
AA
небось видит что новая версия есть, но для вашего окружения еще не скомпилялась у них