Hacker News Reader

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.

View on HN

> 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.

Depends 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.

Reply on news.ycombinator.com