к
Size: a a a
2021 January 23
VS
проблема наверное в том, что я незнаком с имплиситами в хаскелле
MK
вот, смотри, таскать явно везде Env это первый шаг, как прийти к имплиситам
Амбассадор имплиситов
к
если весь код это IO, просто еще ридер сверху для контекста, то можно таскать его явно, но геморно. Тогда можно просто таскать его неявно
type WIthEnv = (?env :: Env)
getX :: WithEnv => Int
getX = getXFromEnv ?env
action :: WithEnv => IO Int
action = do
action2
pure getX
action2 :: WithEnv => IO ()
action2 = do
print getX
main = do
let ?env = makeEnv ...
x <- action
...
type WIthEnv = (?env :: Env)
getX :: WithEnv => Int
getX = getXFromEnv ?env
action :: WithEnv => IO Int
action = do
action2
pure getX
action2 :: WithEnv => IO ()
action2 = do
print getX
main = do
let ?env = makeEnv ...
x <- action
...
MK
А часто тебе нужен локал кстати?
MK
А ещё локал - не алгебраическая операция!
MK
Я понял, да
MK
Саша таскает контекст явно для этого
YS
У меня через локал трассировочные айдишники тоже
AA
минусы тоже есть, нельзя просто распилить контекст на части, типа вот этого HasX паттерна, нужно заранее делать много имплиситов просто, и их можно в один констрейнт склеить
а что если имплицит с реифицированными gadt имплицитами?
MK
Экспрешон проблем будет
AA
че?