По сабжу, у Магваера в книге Thinking with types как

Question

По сабжу, у Магваера в книге Thinking with types как

пример приводится Cont определенный только с одной свободной переменной a тогда как r засунут в forall, то есть

newtype Cont a = Cont { unCont :: forall r. (a -> r) -> r }

Вопрос, в реальной жизни такой вариант Cont есть в какой-нибудь либе и если нет то почему этим никто не пользуется чтобы избежать "лапши", которая часто получается когда bracket pattern используется?

#haskell #programming #russian

0

20.02.2020