Контроль за эффектами конечно много чего бы дал. Но это как null-чеки в каком-нибудь котлине - программист и сам может об этом подумать. Помню даже у Мартина (или у кого-то ещё) про этот rant вокруг nullability - типа прогеры стали такими тупыми, что не могут с нулями разобраться))

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

Я только так и делаю, не умею по другому.

Жаль тебя

полотна копипасты это по фактам?

> категорным КЛ
?

Это переиспользование текста, сиречь постмодернизм.

Это переиспользование текста, сиречь постмодернизм.

Короче расскажу историю одну)
Я люблю ФП и всякие разные языки. Решил я как-то сделать пет-проджект, думаю какой язык взять, взял ReasonML (уж больно у окамля экосистема дерьмовая, а тут нода, тыща библиотек итд).

Сел писать, пишу обработчик реквеста на регистрацию пользователя, там полей 5. Короче описал структуру, которая должна прийти. А потом ещё для каждого поля пришлось писать валидацию. А потом ещё были там загвоздки с типами ошибок.
Короче продолбался я с этим пару дней и понял что именно в данном контексте, я делаю очень много лишней работы.

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

Свои проблемы в этом подходе тоже есть (главный вопрос, на который я не нашел пока ответа: нужно ли в каждой функции, которая работает с твоей мапой, делать одну и ту же проверку спекой), но так всё-таки легче. И каждый выбирает тот подход, который лучше сейчас, в данный момент)

собственно вы же и надеялись на такую реакцию, зачем изображать удивление?

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

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

Я сюда пришёл 20 минут назад.

И для этого даже программу запускать не надо

И для этого даже программу запускать не надо

а откуда, если не секрет?

Ну как не надо, ввод пользователя не тайпчекнешь) Нужно распарсить как минимум сначала)