LL
То и значит
Улучшить, чтобы по ворнингам можно было быстрее находить и исправлять ошибки
Улучшить, чтобы по ворнингам можно было быстрее находить и исправлять ошибки
Size: a a a
2021 April 07
БЁ
Специалисты значительно сильнее меня не могут это сделать по необъяснимым причинам, я для себя эту проблему иным образом решил
LL
И как же ты её решил?
БЁ
полностью переехал на стек со статической строгой
LL
Ты крутой
БЁ
Но у меня вопрос без доли сарказма и оффенса. Фейсбук обещал дать потрогать тайпчекер к ноябрю. В ноябре отписали, что есть сложности и дата релиза откладывается. Полгодика прошло, нет новостей?
А
а не было бы проще просто не использовать dialyzer?
БЁ
К сожалению, нет. Я считаю, что спеки писать необходимо, потому что это
1) Какая-никакая документация, написаная задёшево(спеки пишутся легко, научиться их писать быстро пару дней займёт)
2) Какие-никакие проверки кода на наличие ошибок.
1) Какая-никакая документация, написаная задёшево(спеки пишутся легко, научиться их писать быстро пару дней займёт)
2) Какие-никакие проверки кода на наличие ошибок.
БЁ
В важных системах ошибка пойманная до продакшена стоит усилий, потраченных на то, чтобы она была поймана до продакшена
БЁ
Статическая типизация всего лишь минимизирует эти усилия до минимума.
LL
Не, там не тайпчекер, а статически типизированный язык под
BEAMА
как-то ведь живут люди с динамической типизацией, и продакшн у них тоже есть.
БЁ
Ааа, ооо
LL
Так они уже есть,
caramel и gleamLL
Но не от
facebookБЁ
Я перестал понимать ради чего они с динамической типизацией живут, честно не понимаю.
LL
Согласен, согласен
В моём понимании единственная реальная проблема которая есть у диалайзера это то как он жутко выводит свои ошибки. Потому что он сейчас выдаёт свои ошибки в виде (как в том меме) "идёшь нахуй по причине конченный долбоёб"
В моём понимании единственная реальная проблема которая есть у диалайзера это то как он жутко выводит свои ошибки. Потому что он сейчас выдаёт свои ошибки в виде (как в том меме) "идёшь нахуй по причине конченный долбоёб"
БЁ
Наличие ни о чём не говорит. А ещё есть тайпскрипт, который компилится в жвм байткод, а ещё есть десятки интересных идей, которые возможно даже доведены до ума
Но если за языком нет экосистемы хотя бы
Но если за языком нет экосистемы хотя бы
развивающейся, то наличие языка != наличие продакшен языкаА
а я наоборот нелюблю статическую типизацию, для большинства задач она избыточна, и в лучшем случае защищает от "кривой архитектуры"
БЁ
Главное, что вы не мой коллега, а я не ваш. Иначе бесполезные споры отнимали бы зарплатное время