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

Тоже самое что в других языках

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

все удобно и красиво, но мы конечно не писали на хаскеле и не знаем как надо)

Ещё скажи ты никогда стек оверлоу на хаскеле не получал

если хаскель такой крутой, то его, наверное, еще и повсеместно в проде используют

io-ts прекрасно работает без ts
ts-ного там только возможность вывести тип из рантайм тайп чекера
ну и DX у нее просто ужасный...

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

Ребят, вопрос уже ну очень болючий. Перерыл все, что нашёл и никаких ответов. Есть сервис, к нему прикрутил авторизацию. Использую express-sessions, в качестве хранилища MongoDB. Проблема в том, что постоянно выкидывает пользователей с системы. На компе не заметил, что бы проблема воспроизводилась. В основном на телефонах. Но кого-то чаще выкидывает, кого-то реже. У меня iOS13 браузер Safari. Захожу на сайт. Авторизуюсь. Закрываю все вкладки. Захожу снова — сессия жива. Сворачиваю браузер. Открываю снова. Снова заново захожу на сайт - все ок. Закрываю браузер полностью. Выгружаю с памяти. Открываю сайт и заново требуется авторизация. Мои посетители в основном используют бюджетные андроид-смартфоны. ОЗУ у них мало. При сворачивании браузера активность видимо выгружается с памяти или не корректно возобновляется. В этот момент что-то видимо происходит с куки и сессия либо протухает либо стирается. Так как сайт представляет собой кастомную CRM то переключатся между активностями им нужно постоянно. И каждое такое переключение сопровождается новой сессией и авторизацией. С параметрами re-save и maxAge игрался вдоволь. Они абсолютно не влияют на проблему. Может тут есть у кого-то свежие идеи или варианты? Нашёл похожу проблему у человека на одном из форумов. За 10 мес ответа нет.

да просто надо привыкнуть к этой монаде Either и более менее нормально становится)

поначалу оч неудобно, да

только вот проблема в том что человек не знакомый с такой концепцией плохо разберется в коде, поэтому я ищу что-то другое для рантайм валидации да и вообще для управления исключениями

так express-session или express-sessions?

потому что в универах/курсах учат процедурщине,
в вакансиях хотят ооп, ибо легаси поддерживать надо,
а на хабрах из ФП рисуют монстра...

вот у людей и разрыв шаблона, когда они хаскель видят...
хотя лямда исчисления выражаются всего 3 конструкциями, монады можно объяснить за пол часа, и вообще большинство используют фп сами того не понимая

не в either дело, а в том как сами валидаторы описываются
а either там кстати из fp-ts - как по мне лучшие монадки в ней, да еще и нормально типизированые

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

особенно "договоренности" типа лефт райт вместо нормальных названий результата

мне самому больше нравится result из раста

either/result и maybe/option - вообще мастхев манады без которых невозможно писать стабильное по