DS
Это проблемы расто иде и расто-макросов
Size: a a a
2020 May 22
DS
Прежде всего
EG
Любой макрос это кодогенерация со всеми сопутствующими проблемами.
DS
Т.е. все вот эти расто-обьяснения компилятору - это зачастую проблемы именно раста
DS
Вне раста они существуют в очень ограниченном контексте
EG
И это таки хорошо, если макросы вообще есть
DS
Т.е. я не помню, когда мне в языке, кроме раста надо было что-то активно обьяснять компилятору (кроме языков с зав типами, но там само собой)
EG
В хаскелле, например, нет простого способа делегировать инстанс класса в ньютайпе.
EG
Кроме тех, для кого есть встроенные deriving
EG
Нужно каждый раз писать бойлерплейт руками
EG
Если мы не считаем, что у нас есть generic classes, которые нестандартное расширение.
SP
ну если для тебя эти церемонии так мучительны то ок
EG
И даже так мы можем делегировать только тот тайпкласс, автор которого предусмотрел эту возможность.
EG
Для одноразового кода? Да, неприятно.
EG
Я хочу написать в репле хуйню и получить ответ, а не думать.
DS
В хаскелле, например, нет простого способа делегировать инстанс класса в ньютайпе.
Что? GeneralizedNewtypeDeriving или DerivingVia
DS
Первый это делает автоматом, второй позволяет настроить процесс
SP
Я хочу написать в репле хуйню и получить ответ, а не думать.
ну у меня это бывает крайне редко
EG
Что? GeneralizedNewtypeDeriving или DerivingVia
Это нестандартное расширение.
DS
Это нестандартное расширение.
В хаскеле уже нет стандрата кроме GHC