AA
ну в интерпретаторе будет, а так-то мономорфизм рестрикшон включен
Size: a a a
2021 May 27
AA
и это не оптимизация
AV
Привет, можно как-то реализовать
Цель: есть функции, запускаемые в контексте
Вот MRE с ошибкой компиляции: https://replit.com/@MrAndersen1/AttractiveConstantLightweightprocess#main.hs
instance MonadReader SubConfig (ReaderT Config m), где SubConfig — структурно часть Config?Цель: есть функции, запускаемые в контексте
MonadReader SubConfig m, хочу запускать их в MonadReader Config m, желательно без бойлерплейтаВот MRE с ошибкой компиляции: https://replit.com/@MrAndersen1/AttractiveConstantLightweightprocess#main.hs
AP
Вы хотите инстанс MonadReader для Reader, но такой инстанс уже есть
AP
И этот инстанс более общий, чем ваш
AP
А как newtype поможет сделать такую вот иерархию вложенных окружений?
AV
Для разных a и b нельзя делать
instance C a t и instance C b t?AP
нет, fundep не разрешит
AV
Почему? В расте так можно
AP
MonadReader r m | m -> rAP
"m -> r" вот это вот не даёт иметь произвольные комбинации
AV
Блин... Зачем это сделано?
MK
для вывода типов
MK
обычно для этого используется класс
Has из data-has (или can-i-haz)AP
Чтобы в контексте
m было понятно, что даст askMK
типа
(MonadReader r m, Has SubConfig r)AV
Спасибо!
MK
кажется это даже "паттерн", но я хз как его нагуглить
AV
Ну, было бы понятно из того, как используется переменная