Динамическая типизация-же! Хоть и строгая, но большинство (если не все) ошибки связанные с тем, что ты сложил мандарины с коровами ты получишь только в рантайме.
Динамическая типизация-же! Хоть и строгая, но большинство (если не все) ошибки связанные с тем, что ты сложил мандарины с коровами ты получишь только в рантайме.
Миром вовсю правят распределенные системы где вообще нет типизации, а основная забота хаскеллистов и их товарищей — все еще сложение мандарин с коровами.
Большинство программистов в самом строго статически типизированном языке сумеет сложить мандарины с коровами и получить сегфолт. Оставшаяся часть умеет факторизовать код и не путаться в типах.
Только если её перепишут на Го. Джава конечно полностью не уйдет. Но она не компилируемая и нет такой ориентированности под многопоточность. Ну и Го еще нативно под андроид со следующего релиза будет.
Мы тут как-то писали продакшн код на clojure но не взлетело. Ибо стектрейсы в кложе просто ужасны. Найти ошибку в них невозможно. А сейчас смотрю в репозитарии уже давно нет коммитов. Думаю загибается потихоньку.
Видимо, вброс, в основном, про хаскель, там: hunit (касается в меньшей степени) и quickcheck/smallcheck (ну еще hspec есть); а также оберток вокруг оных test-framework / htf / tasty.
Если бы местная илитка взяла себе за труд ознакомиться как ваяют критичные к ошибкам приложения... Там симбиоз программистов и анализаторов кода. Анализ как раз и проистекает из подсвечивать и подсказывать, потому что о каком анализе кода может идти речь, если не возможно даже подсказку сделать?
Но ититка бугуртит от того, что как это так, машина помогает написанию кода - деды так не делали и нам не велели)