AB
он делает так, потому что это не система типов, а статический анализатор с type hints
это другое
это другое
То есть ты мне предлагаешь на каждый чих описывать свою обертку над Enum.map, со своими спеками?
Спасибо - не надо. 😀
Size: a a a
2021 May 18
Е
d
Ну, как вариант, может появится что-то типа mypy - статический анализатор кода со стрикт схемой, который можно уже прикрутить к CI и он будет проверять и падать, если что-то не ок
AB
Dialyzer is a static analysis tool that identifies software discrepancies, such as definite type errors, code that has become dead or unreachable because of programming error, and unnecessary tests, in single Erlang modules or entire (sets of) applications.
он изначально для другого задизайнен
он изначально для другого задизайнен
AB
gradualizer туда стремится
Е
Точно. Так как нету системы типов в эрланге/эликсире.
Но мне всегда казалось странным, что люди любят спеки, но не любят статическую типизацию. Когнитивный диссонанс не возникает?
Но мне всегда казалось странным, что люди любят спеки, но не любят статическую типизацию. Когнитивный диссонанс не возникает?
AN
Нет, я предлагаю это делать там, где это действительно может быть нужно. Писать типы на каждое присвоение переменной - вот это мазохизм кмк
Е
Перестаньте пить этодругин. Он статически анализирует код и пытается вывести типа. Не, ничего общего с компилятором :)))
Aß
спеки это контракт, а контракты любят все
Е
Сразу видно, что ты не знаешь что такое современные статически типизированные языки. Не нужно писать типы везде.
AP
за который платят, да
Aß
тебя Хиндли с Милнером покусали?
AB
я хз, я вообще спеки пишу только в те места, где несколько раз запутался, а диалайзером не пользуюсь осознанно - встроенный в lsp мне что-то иногда говорит, но чаще буллщит какой-то
Е
Не обязательно
Е
А потом сотни тестов на каждую ерунду
Е
И все равно в рантайме нет-нет да и вылезет тупая ошибка
Aß
да жеваный крот
AP
типизация не исключает необходимости писать тесты если чо
Aß
у нас тут серьезный разговор, а она со своим биткоинами лезет
Е
Они сильно уменьшает их количество