VV
а есть статистика? я общался с человеком, у них весь бек на хаскелле, говорит отлично себя показывает, рефакторить легко
Size: a a a
2021 November 25
АД
Потому что никто на ней не пишет :)
SZ
а зачем что-то чем-то поливать?
EZ
подход разный просто. С типами ты мыслишь по принципу data-driven модели, без типов больше как execution-driven модели
DL
D
это если ты 1 в команде, или команда маленькая, в больших командах писать на js без типов это постоянно ловить килотонны ошибок в рантайме, при чем не всегда такое тестами отлавливается, потому как чаще всгео тестируют только позитивные сценарии..
ND
ну так это пример обратного вообще
DL
чем тебе кложа не data-driven?
EZ
1000 * 10 > 2 * 100
RK
мне это не интересно, но вспомнить два года назад реддит тред прог юмор, там в 9 из 10 постов поливали дерьмом пыху
ND
какая самодисциплина если у тебя за спиной стоит канпелятор и бьет по рукам
RK
а ща ваще нет этого
RK
ну он тебя бьет и ты понимаешь, что так лучше не делать, это откладывается в голове
ND
ну и вообще жс плохой пример динамической типизации
a
Почему же не нашла? Объявлять типы можно, но это опционально, а статический анализ никому особо не нужен — судя по тому, что в открытом SBCL он, по рассказам, более продвинутый чем в коммерческих.
RK
ну, с чем имел опыт)
EZ
в лиспах data это код :) .. в лиспах можно подход назвать data-execution модель :)
ND
потому что всё за что его обычно ругают это косяк слабой типизации
DL
кстати, я не против стат анализа, но ортогонально компиляции/выполнению, ну т.е. он ругается, но в фоне, и ты можешь прислушиваться, а можешь не, если считаешь, что зря ругается
a
Это косвенное подтверждение, что статический анализ интересен в основном людям, которые в универах сидят .