AV
(я выкрутился вроде?)
Size: a a a
2019 August 12
АГ
Вот видишь, ты считаешь, что хорошо и чатик это отражает
В этом что-то есть. Надо будет поэкспериментировать
Aq
Его в чатике не любят (он так считает)
я не люблю, по крайней мере
AV
Будто ты кого-то там любишь
Aq
да вы че такое говорите, я вообще мало кого недолюбливаю, почти ко всем отношусь очень хорошо!
AV
Вот, смотри, снова отражается!
Y
А как же @argent_smith . Это же его стезя
Придётся его приглашать
PA
Куда?
PA
понятно. не возражаю )
AT
У окамла все хорошо вроде. (если что)
о! а есть ли где-нибудь тщательно скрываемая библиотека для работы с полиномами от многих переменных?
AT
ради символических полиномов (если они есть в лапаке) не оч. хочется тянуть эту зависимость
Y
Ну пока писали ядро с логикогй, всё было хорошо. А вот понадобилось прикрутить к нему некоторый бэкенд, и началось.
(дисклеймер: если «нет» в списке ниже вызывает негодование, читать как «не нашли». Если неправильно употреблена терминология, поправляйте.)
1. HTTP/REST stuff. Удобного фреймворка, наподобие Spock/Yesod/Servant (при всём различном отношении ко всем трём) нет. Есть монструозный Ocsigen/Eliom, который втаскивать было страшно. Взяли компактненький opium – умеет мало чего, но хватало (хотя из-за скудности документации порой приходилось лазить в сорцы); а потом выяснилось, что у cohttp, поверх которого он построен, какие-то имманентные проблемы с производительностью, и пришлось наваять велосипед поверх httpaf.
2. Websockets. Полторы библиотеки, обе очень низкоуровневые, опять поверх cohttp, к проекту не прикрутились из-за какого-то конфликта зависимостей.
3. Биндинги к libsodium. Имеющиеся на опаме нихрена не умеют. Нашлись альтернативные, которые пришлось дополнительно форкать.
4. Base58 – аналогично.
5. SQL/ORM – ни одного законченного решения «от БД до окамлового типа», каждая либа умеет какой-то небольшой кусок, приходится кучу бойлерплейта писать.
(дисклеймер: если «нет» в списке ниже вызывает негодование, читать как «не нашли». Если неправильно употреблена терминология, поправляйте.)
1. HTTP/REST stuff. Удобного фреймворка, наподобие Spock/Yesod/Servant (при всём различном отношении ко всем трём) нет. Есть монструозный Ocsigen/Eliom, который втаскивать было страшно. Взяли компактненький opium – умеет мало чего, но хватало (хотя из-за скудности документации порой приходилось лазить в сорцы); а потом выяснилось, что у cohttp, поверх которого он построен, какие-то имманентные проблемы с производительностью, и пришлось наваять велосипед поверх httpaf.
2. Websockets. Полторы библиотеки, обе очень низкоуровневые, опять поверх cohttp, к проекту не прикрутились из-за какого-то конфликта зависимостей.
3. Биндинги к libsodium. Имеющиеся на опаме нихрена не умеют. Нашлись альтернативные, которые пришлось дополнительно форкать.
4. Base58 – аналогично.
5. SQL/ORM – ни одного законченного решения «от БД до окамлового типа», каждая либа умеет какой-то небольшой кусок, приходится кучу бойлерплейта писать.