Re:Ask HN: Who regrets choosing Elixir?
by kerkeslager on Saturday May 23, 2020 @01:00PM
(#23284523)
> Type systems are really a set of comprehensive tests you don't have to write yourself that cover a subset of the things you need to test for.
Maybe in a very strongly-typed language, but having used a pretty wide variety of statically-typed languages, I can confidently say none of them had strong enough type systems that the assertions made by the type system could be considered "comprehensive". You still need a test suite.
Maybe in a very strongly-typed language, but having used a pretty wide variety of statically-typed languages, I can confidently say none of them had strong enough type systems that the assertions made by the type system could be considered "comprehensive". You still need a test suite.