6 ms·
I would suggest to author to look at functional languages, like Haskell. These are based on principles of function composition and referential transparency. Th
by js8 4y ago
I would suggest to author to look at functional languages, like Haskell. These are based on principles of function composition and referential transparency.
The move from testing to static analysis is happening there, in the expressiveness of the type system, and its inferences. Functional languages are on the forefront of experimentation with new type systems.
- fullstackchris 4y ago> The move from testing to static analysis Are you claiming that static analysis of code can replace the concept of writing tests completely? If so, I'm very skeptical.
- js8 4y agoDepends on the type of the test. The larger the system is, the more unexpected interactions can happen, and the more need for testing. But if we are talking about unit test on the level of functions, yes, I think they can be replaced.