EG
И давать названия аргументам функции, чего тут тоже нет
Size: a a a
2021 April 05
EG
Вот биндинги к SQLite
EG
Мы принимаем подключение (ок), текст (какой?) и функцию.
EG
Что за текст? Не описано, названия параметра нет вообще, потому что названия параметров в хаскелле не часть документации.
EG
Но даже если бы они были частью документации, то мы бы увидели
fn :: Text -> f :: fp
Текст это строка подключения?
EG
Спасиб.
p
Хотя мы и так передаём подключение
EG
По-моему, это название функции
EG
Но я не уверен
EG
Я про это и говорю — аргумент «всё понятно из сигнатуры» не выдерживает столкновения с реальным миром, когда у тебя функция принимает пять строк и возвращает строку
EG
Вот мегапарсек. Вопрос: что в этой сигнатуре означает
m? Какое ограничение на m?p
Эээ это вроде монада
EG
Монада? Или парсекмонада?
p
Ну глянь ПарсекТ
EG
Вот офигительная сигнатура, из которой всё понятно.
m () -> m () -> m () -> m (), агаp
А зачем здесь e s?
EG
Гляжу. Тут несколько разных ограничений со словом
Monad.DS
Любой тип же, раз нет ограничений.
EG
Чтобы параметризовать
MonadParsec до конца