ММ
нужно просто настроить окружение правильно, если наличие спеков обязательно - IDE, pre-commit хуки или CI, но их и для тестов нужно настраивать, и для mix format
Size: a a a
2021 May 18
ММ
так можно получить почти все плюсы статической типизации (за исключением оптимизации), не добавляя ничего в сам язык
O
Д
Хаххахахааха
n
Дело ведь не только в занимаемой размер, а в алиасах.
Когда
Param1(int)
Param2(int)
foo(Param1, Param2)
И foo(1,2) не прокатит
Понятно, что тестами отловиться, но и код мы пишем, без ошибок, да?)
Когда
Param1(int)
Param2(int)
foo(Param1, Param2)
И foo(1,2) не прокатит
Понятно, что тестами отловиться, но и код мы пишем, без ошибок, да?)
n
Перечитал сообщение, плюсы там уже были написаны (оставлю тут)
AN
код всегда с ошибками в программе чуть сложнее, чем 1+1 посчитать. Надежы на статическую типизацию в их отлове крайне мало и диалайзер делает такие же проверки, как и статический компилятор
ŹR
Ты не совсем прав. Можно посмотреть на накладные расходы в typescript где посреди кода надо делать всякие
as и тыды. Очевидно что если бы можно было без них - тайпскрипт бы этого не требовал. Значит без них нельзя. Но диалайзер никак же не требует менять исходный код - значит он чего-то не ловит того, что ловит даже тайпскриптAN
Видимо в парадигме let it crash это не нужно. Если бы это было необходимо, давно бы уже вмержили диалайзер в компилятор и требовали спеки везде
Е
Феерические глупости.
> отловить 1% ошибок с неправильной передачей параметров
> Хотя диалайзер - отличная штука и часто выручает
Часто это те самые 1%? 😀
> отловить 1% ошибок с неправильной передачей параметров
> Хотя диалайзер - отличная штука и часто выручает
Часто это те самые 1%? 😀
Е
Диалайзер, простите, сосет регулярно.
AN
Да, в большинстве случаев чтение спеков и сигнатур даёт информацию о том, что нужно передавать в функцию
Е
Посмотри спеки Enum.map, какой тип она возвращает?
Aß
нет, если у диалайзера "есть сомнения", он "промолчит", это его принципиальное отличие от компиляторов, которые по природе своей консервативны.
Е
И неужели невдомек, что диалайзер как раз делает то за что мы тут любим статическую типизацию?
Мне то вобщем-то пофиг где типы описывать, в спеках или в определении. Лишь бы ошибки ловил.
Мне то вобщем-то пофиг где типы описывать, в спеках или в определении. Лишь бы ошибки ловил.
Е
В том-то и дело, что там ошибка, а он молчит, потому что не может определить точный тип.
AB
нет, он делает больше и меньше, а главное - он опциональный.
Aß
ну тут как всегда, либо трусы, либо крестик
Е
Он так делает потому что не умеет иначе. Или кто-то хочет чтобы диалайзер ловил не все ошибки?
AN
Если очень нужно, опиши спеки полностью. Enum.map возвращает лист, если лист строк уточни сам в спеке.