но там даже тикета нет, никому не нужно.

сделай тикет!

(потом напиши код)

у меня дедлайны :(

а что какой-нибудь ssh-proxy не поднять из проги самой?

сердито и вообще

ну наверно

и.е. прога стартует запускает ssh-proxy и к нему коннектится

юзер в неведении

симметричный ключ - почтовым голубем посылать

ой, не туда шутка

а ты не нашел n-t-websockets ?

https://github.com/picussecurity/network-transport-websockets

вот прям второй результат в гугле

судя по никам они пилили

хм, а у меня не нагугливался

— * It does not gracefully handle closeConnection calls and connection failures. — It may even give @thread blocked indefinitely in an MVar operation@ sometimes. — * It can not pass some tests on "Network.Transport.Tests". They are mostly — about connection failures. обнадёживает

не тесты там ещё те

я очень задолбался заставлять n-t-zeromq из пройти

чёт я не вижу в n-t-zeromq никаких опций для шифрования. а из аутентификации только странный юзейрнейм-пассворд

а значит я недопилил

но оно там в протоколе есть

а скорее всего я не допилил и.к. в zeromq криво было

но сейчас уже много лет прошло, должны были запилить

Знали бы вы, в какие дебри нас завело использование freer + extensible effects и Servant одновременно ??

Что-то надо менять в небесной канцелярии

Знали бы вы, в какие дебри нас завело использование freer + extensible effects и Servant одновременно ??

в какие?)

в какие?)

К сожалению, не могу показать код. В чудовищные дебри описания всяких эффектов в типах, и при этом очень важно сохранять порядок при вызове интерпретаторов. И все это усугубляется системой типов Серванта

А потом еще припорошили эффектом транзакционности (БД), и он принес с собой еще и тип ошибок вдобавок к типу эффектов.

мне кажется о типах серванта ты забываешь в Server.hs когда вызываешь hoist

после этого моменты ты думаешь только о своем стеке, который не в курсе про сервант

А, еще забыл упомянуть тип генеричных конфигов, которые можно извлекать из места, где указан такой эффект ?

мне кажется о типах серванта ты забываешь в Server.hs когда вызываешь hoist

Я не писал начальную логику Серванта, не знаю, как там и что. Поиск hoist результатов не дал

ну когда ты из их стека в свой прыгаешь

я не помню комбинатор как зовется

Все-таки, это темная сторона Haskell. Не нужно так делать.

сервант нужен чтобы вам написать и код сгенерирь завязывать на его типы приложение не надо

с эффектами сложнее, я даже не знаю того как там быть

Вот я про эффекты. Но Сервант мне тоже не очень.

так

В PureScript всегда раздражала эта система эффектов. Вот ничегошеньки полезного она не дает.

эффекты и сервант никак не связаны же

пишется один раз нат трансформация из Eff r ~> Handle и все

разве это не единственная точка соприкосновения? Причем даже не с самим сервантом, а просто с ExceptT IO

Они сами по себе не связаны. Но в нашем коде есть, например, механизм преобразования наших ошибок из эффектов в Envelope

в пурскрипте-то какая система эффектов? там же просто индексированный IO

В PureScript всегда раздражала эта система эффектов. Вот ничегошеньки полезного она не дает.

дает информативности же

Система эффектов на открытых записях там. Ну, они ее так называют. А уж индексированный он там или нет, это вам виднее

дает информативности же

Да нафиг это надо.

ну типа просто как я помню некоторый хаскель код, в хаскеле делают точно так же

Да нафиг это надо.

в пурсе есть IO/IOSync и будет в 0.12 Effect без row...

Вот делаешь ты рефакторинг, решаешь немного эффекты перераспределить. И внезапно, та функция, которую ты считал, что она не должна делать этот эффект, начинает его делать. И ты такой: ну ок, обновлю эффект, чо

не используют IO напрямую, а делают N тайпклассов под конкретные задачи, у которых есть IO инстанс

Возня с эффектами в PureScript ужасно раздражает. Тот пресловутый IO / IOSync не зря появлися. Там, кажется, эффект INFINITY какой-то используется, и все дела.

Возня с эффектами в PureScript ужасно раздражает. Тот пресловутый IO / IOSync не зря появлися. Там, кажется, эффект INFINITY какой-то используется, и все дела.

c ним удобно новые либы писать

Вот я про эффекты. Но Сервант мне тоже не очень.

я с эффектами точку равновесия не вижу

c ним удобно новые либы писать

А пользователь этих либ должен страдать? Что ж удивляться, что хаскеллисты пишут для себя, а не для других.

когда они приносят достаточно бонусов по сравнению с тем что за это заплатишь

если с сервантом она ещё видна и есть понимание начиная с какой сложности лучше сразу его взять, а не переизобретать на споке, то тут сложнее

Куча библиотек, которые не пойми как использовать. Кстати, в PureScript том же Time сделал комонадой. И пока ты этот факт не узнал, ты будешь долго искать функцию, как значение-то достать

Что мешало сделать удобные аксессоры - неясно

особенно в heavy IO коде, а то в эффектах поддержки асинхронных расширяемых исключений не так давно не было

если с сервантом она ещё видна и есть понимание начиная с какой сложности лучше сразу его взять, а не переизобретать на споке, то тут сложнее

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

Куча библиотек, которые не пойми как использовать. Кстати, в PureScript том же Time сделал комонадой. И пока ты этот факт не узнал, ты будешь долго искать функцию, как значение-то достать

где там такое?

ну я не вижу проблем с сервантом больших, точнее вижу, но это не те проблемы с которыми обычно столкнешься

и.е. мне не понравилось добавлять свои Verb

для стриминг запросов и ответтв

где там такое?

Гм, сейчас смотрю и не нахожу ? Может, попутал с другим родственным типом

Куча библиотек, которые не пойми как использовать. Кстати, в PureScript том же Time сделал комонадой. И пока ты этот факт не узнал, ты будешь долго искать функцию, как значение-то достать

о а можно ссылку

и авторизацию, которая была не допилена

о а можно ссылку

Конечно! https://hackage.haskell.org/packages/browse

так вы же про пурсу говорили

кстати о hackage вот вспоминая опыт с джавой, он на порядок полезнее чем жавадоки

так вы же про пурсу говорили

К Хаскеллю это тоже относится...

в которых черт ногу сломит, ничего не понятно как использовать, сложно искать и до исходников не доберешься

К Хаскеллю это тоже относится...

не-не

я конкретно про time комонадой

я конкретно про time комонадой

Пытаюсь найти. То ли Time был, то ли Date, то ли DateTime, и вроде бы в PureScript. Но не нахожу ?

@kana_sama @xgrommx Все, нашел, это был Locale: https://pursuit.purescript.org/packages/purescript-datetime/3.4.1/docs/Data.DateTime.Locale

Есть там тип LocalValue, и он комонада

c ним удобно новые либы писать

Ох, сорри, я прочитал сообщение неверно ("с ними", понимая как "эффекты"), и ответил неверно. Да, с ним удобнее, чем с эффектами. Приношу извинения

Это хорошая практика переводить эксепшины в Maybe/Either везде где это возможно?

it depends

Мне кажется, эту тему обсуждают в последнее время всюду

Мне кажется, эту тему обсуждают в последнее время всюду

Я в хаскель в коммунити только недавно

BTW, я что-то не хочу быть админом

хорошая практика — не бросать исключения там, где можешь не бросать

а ловить ранее брошенные и переводить в Either? зачем?

В расте всё никак не успокоятся с этой темой Try trait, try catch и подобного В скалке бушуют по поводу bifunctor IO

а ловить ранее брошенные и переводить в Either? зачем?

я вот тоже задумался)

Всем привет! Не подскажете библиотеку/пример проекта/блог-пост с очень простым примером фронтенда с Haskell в качестве бекенда? С хаскеллем проблем нет, хоть сервант могу сделать, но в том, как делать фронтенд и как связывать с бекендом, ничего не понимаю ? Мне хочется просто иметь несколько разных списков и возможность редактировать из UI эти списки (удалять, изменять, добавлять) и сортировать по разным полям. Короче, Google Sheets на очень сильных минималках. Дизайн не важен)

Склепай фронтенд на elm'е (ща в меня полетят кирпичи)

...если тебе не нужно ничего кроме non-persistent демок на конференциях показывать.

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

Я-то не против elm. PureScript даже лучше! Мне бы простой пример проекта, с командами для обезьянок, как билдить (а то каждый раз страшно трогать npm)...

Ну подожди, ты на бекенде именно Haskell хочешь?

Если ты привязан к Haskell, то ничего умнее чем то, что мы делали в блок эксплорере карданы не придумать (пьюрскриптовский Aeson генератор и сериализация/десериализация данных). Можешь у Антэ спросить, он всё это добро мейнтейнил.

у нас excel в web и прочее, но для фронта там typescript и бездны ада

общение json данными