EG
Очевидно, на самом деле мне не дадут создать
ParsecT с любым mSize: a a a
2021 April 05
DS
Создать дадут, а вот использовать - зависит от того, какие функции ты захочешь использовать
EG
Но сигнатура конструктора парсект у меня не влезает в экран
EG
forall b. State s e -> (a -> State s e -> Hints (Token s) -> m b) -> (ParseError s e -> State s e -> m b) -> (a -> State s e -> Hints (Token s) -> m b) -> (ParseError s e -> State s e -> m b) -> m b
Нет, я не согласен, что из сигнатуры что-то понятно.
EG
Например,
m это * -> *, что неочевидно из этой сигнатуры, где оно просто передаётся в ParsecTDS
Так IDE и GHCI кайнды показывают из коробки
EG
«Читать документацию к коду можно только в IDE» ©
EG
Если претендовать, что типы — это документация, они должны быть читабельны вообще без установки пакета.
p
Нихуя не понятно я и за m b
p
А так вроде норм
DS
Ну так кайнд типов отсюда понятен
EG
Нет, из той сигнатуры — непонятен
EG
Мне нужно прочитать все сигнатуры, чтобы иметь представление хотя бы про кайнд
EG
Я уж не говорю про семантику, семантику из этого распарсить невозможно вообще.
DS
State - общеизвестнен, остальное выводится.
EG
Я про другую сигнатуру.
а
А правда что для логгирования надо использовать трансформер WiriterT?
EG
Про вот эту
а
или тип того