JS
ReaderT + MonadReader чуть гибче, чем просто функции. и код красивее. и сообщения об ошибках понятнее
// Псевдокод```
oldval = $global_var
try {
$global_var = чему то
do something...
} ensure {
$global_var = oldvar
}
Size: a a a
2021 May 03
AS
В других языках можно довольно часто встретить патерн типа
AS
Вот в хаскеле так писать неудобно
AS
А ридеры эту же самую задачу решают очень приятно
AS
Про сообщения об ошибках это ты закгнул, когда у тебя MonadReader на трансформерах и вылезает ошибка типа, она не выглядит простой
AS
Но да, сами функции выглядят чище. Не знаю, в условном го, контекст спокойно передают как явный аргумент и не парятся
AS
Ридер нужен именно для того, чтобы абстрагироваться от того, что этот контекст вообще существует
AS
implicit params это что то вроде dependency injection получается?
DI
положить этот пул на топлевел и создать в unsafePerformIO - еще приятнее
JS
мне ошибки трансформеров субъективно понятнее, чем ошибки с функциями, потому что трансформеры хоть как-то рассортированы, а аргументы функций тупо позиционные. а ещё если забыть пару аргументов у функции в монаде, то компилятор думает, что это у тебя монада (->), и показывает совсем нерелевантную ошибку в нерелевантном месте
[
Ну, стрелка принадлежит инстансу MonadReader, так что чисто теоретически можно и через неё всё таскать
[
Только, как я понял, это больно получается
AS
Так то -> это и есть монада Reader
JS
по сути — да, по юзабилити — нет
AS
Я про то, что сильной разницы в выводе типов не должно возникнуть
JS
когда один аргумент — разница небольшая, а когда много параметров, то ведь хочется их отдельными аргументами в функцию передавать, а не структуркой?
JS
что-нибудь прояснилось?