Телеграмм чат группы haskellru страница 16249

Вызывающая сторона не может решать, что нужно получать через ask

14:46пожаловаться #1

ask :: m r

как это тайпчекаться должно по-вашему?
откуда возмётся r?

14:48пожаловаться #2

Окружение строго одно, никаких разных r быть не может. Поэтому r должно выводиться само и однозначно, а не исходя из того, что вы там проаннотируете. FunDep даёт понять r по m

14:49пожаловаться #3

Ну формально говорю у нас есть функциональная зависимость m -> r. Из m можно однозначно вывести r

14:49пожаловаться #4

Так человек и спрашивает, зачем фандеп вообще

👍

14:50пожаловаться #7

I O in Haskell

Не, ну иногда-то можно, например (+ 1) <$> ask чудесно бы выводился, а вот length <$> ask уже нет

14:50пожаловаться #8

Проступил середину диалога 🙂

14:50пожаловаться #9

(+ 1) :: Num a => a -> a

14:50пожаловаться #10

Поэтому нет 🙂

14:51пожаловаться #11

Без фандепа каждый новый ask давал бы свой r

14:51пожаловаться #12

I O in Haskell

И что в этом плохого, кроме возможно не самых лучших сообщений об ошибках? Я бы с удовольствием делал ask @OneConfig, ask @AnotherConfig

14:52пожаловаться #13

Andrey Vlasov in Haskell

Для конкретного типа — выведется по месту использования возвращаемого значения: f :: A -> B ; ask <&> f — здесь компилятору должно всё быть понятно
Возникает неясность — ask @a
В любом случае, я понял в чём проблема, нашёл решение, всем спасибо

14:53пожаловаться #14

Есть системы эффектов в которых ровно так из коробки и работает

14:53пожаловаться #15

Тем плохо, что аннотировать придётся любой код, даже обобщённый

14:53пожаловаться #16