(это не совсем про либы, но раз уж начал коллекционировать ranting, становится трудно остановиться)

1) Я переводил книжку про Yesod. Думаю что он вполне монструозный. Наезд на ocsigen не очень понимаю, ну да ладно

2) надо разбираться

3+4) Я так понимаю после контрибьютинга изменений всё теперь хорошо стало

5) в целом согласен. Может ктонить написать более-менее подробно что хотелось бы получить? С примерами/аналогами мира хаскеля? Я может кого-то подыму всё запилить

6) ppx_implicits это костыль. я не пользуюсь, ничего сказать не могу

3+4) не стало, на опаме-то они не появились

Или “всё хорошо с библиотеками и документацией*” неявно включает “*если вы запуллреквестите всё, чего не хватает, иначе не жалуйтесь”? 🙂

По 5: если библиотека Sequoia, которая умеет описывать таблицы в виде модулей и тайпсейфно генерировать по ним запросы. Всё бы неплохо, но вымораживает бойлерплейт в виде Mysql.(Expr.(Select.(Expr.(Vector.(OrderBy.Expr.(Vector.( и Skip (Skip There)) (для последнего там какой-то ppx, но костыль же). Ну и с получившимся запросом дальше надо что-то делать самому. Ах да, и даже Постгрес не поддерживается.

Дальше есть Caqti, которая предоставляет единообразный интерфейс для коннекта к БД (Постгрес поддерживается!) и отправки запросов, но запросы нужно писать ручками. Максимум есть driver-dependent строковая интерполяция в этих самых запросах. Плюс есть очень дубовый, но рабочий способ маппинга строк таблицы на окамловые значения – числа, строки и прочие примитивы, а также кортежи длиной до 4 поддерживаются нативно, а для каких-то типов посложнее нужно писать маппинг в эти кортежи. Если не хватило 4 – вложенные кортежи. Yo dawg

Вот если бы это скрестить, почистить бойлерплейт, приделать автомаппинг для записей, была бы конфетка.

Я б сам попытался, но по проекту других задач навалом, да и окамлового опыта пока всё-таки не хватает, чтобы оптимально всё задизайнить.

Это не наезд, ничего против Ocsigen не имею, имел в виду оверкилльность, если не стоит задачи сделать супер-пупер-сервис (короче, когда веб-бэкенд – основная цель, а не нашлёпка сбоку). Yesod в этом плане тоже плохой пример, согласен.

есод вообще плохой пример

Про macaque можете что-то сказать?

А про quel от Олега?

Разве нет?

Нет

Как-то заброшенно выглядит, да ещё camlp4

А эту штуку советовали в кулуарах ITGM недавнего. Нашёл только пейпер, оно есть в виде юзабельной либы?