же Typescript - валидный Javascript == валидный Typescript, но только он уже может выловить ошибки.
К примеру та же посылка сообщений - не нужно сразу решать эту проблему, пусть вначале найдутся ошибки, которые можно найти в синхронном коде, а не в асинхронном. В синхронном коде уже много чего можно найти.
Dialyzer - в целом уже позволяет чувствовать Elixir частично статически типизированным, но его проблема - это плохая интеграция с тулингом, криптические ошибки и показываемые, иногда не в том месте, скорость. Т.е. видно, что его делали очень скудными ресурсами, но сама по себе проблема решаемая до определённой степени.
я примерно о этом говорил не раз. я против того, чтобы мне ебали мозги типизацией, если этим за меня может заниматься компилятор. когда он не будет справляться - пусть сообщит, я ему помогу. или нет, если мне так захочется.
Обсуждают сегодня