You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
There is no escape from this. Whether you use static, or dynamic typing, you must still demonstrate correctness by executing tests. Static typing does not reduce that number of tests, because those tests are behavioral and empirical.
I respectfully disagree with this. Some type systems allow null references. In those type systems, you must write tests that demonstrate how the SUT interacts with null input. In other type systems (e.g. Haskell) nulls don't exist. You can't meaningfully write an equivalent test
That's just the simplest example that fits in a tweet. With @yminsky's words, algebraic data types in general enable you to design your APIs so that you can 'make illegal states unrepresentable'.
Every time you can do that, that's one or more tests you don't have to write.
TBC, that doesn't mean that we don't have to write tests. We have this little issue called the halting problem from which we can derive that we can't make a Turing complete language that is guaranteed to 'work' if it compiles. But we can push the slider towards fewer tests.
Here's an explicit example of how static typing makes some tests redundant.https://blog.ploeh.dk/2018/07/09/typing-and-testing-problem-23 …
LOL!! High-5!! “To paraphrase Robert C. Martin: as the types become more generic, the tests become more redundant ”. Brilliant! As a debating strategy this blog highlights how ineffectual and intellectually bankrupt insults are. Respect.
I'd much rather see a conversation about how TDD or Type Systems help you drive the design of your code or Domain Driven Design rather than "how many tests I have to write" debates. I'd rather discuss the merits and other benefits TDD or typed systems give you besides coverage
I don’t think you’ll be disappointed. <grin>.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
