Время затраченное на описание типов не окупает "порядок"

кложа пока лучший

по соотношению затраты/выход

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

> если типы правильно описаны

А это оооочень большое "если".

только в Хаскелле такое есть из списка

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

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

так это ж плюс вроде. У тебя всё ломается и ты знаешь где косяки. У меня на F# бывает что я день код пишу  и сразу работает

Не знаю что за ключи в мапе — смотрю доку/тесты/спеку/код/фактически приходящие данные. Столько вариантов и все легкие

А может не сломается)

У меня чаще не ломается, я рад

Такое ощущение, что сюда забрёл тонкий тролль.

я так переписывал часть проекта за других людей. Полтора дня не компилил и со второго раза завелось

опять(

Аргументы человек не принимает хочет типы. Зачем спрашивается зашел? Узнать, что типов на этапе компиляции в кложе нет?

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

не, ну можете забанить, чё

и всмысле не принимаю, мне написали за clj-kondo - я потыкаю

Практика применения типов, которую наблюдал я, обычно складывается по такому сценарию:
1. Типы определяются по предметной области и предохраняют от кучи банальных ошибок
2. Типы начинают выстраиваться в достаточно сложную иерархию, всё ещё соответствуют области, но в одной голове помещаются уже с трудом
3. Начинают делаться допущения поперёк типов, чтобы ускорить разработку
-1. Предметная область начинает определяться типами, корректируясь до реальной в головах сотрудников

В идеале бы до конца этого сценария доходить не надо 😐