Hacker News new | ask | show | jobs
by namaria 1220 days ago
I find quite interesting that people will prefer a highly malleable language like Python, and then orgs have to adopt testing to get around all the inconsistencies caused by absent type system. And then people will write libraries to get around the pesky tests to get their flexibility back.

It's fascinating really... Complex systems are always in partial failure mode and that applies to collective optimization challenges. Organizations will always be stuck in local optima in most domains.
1 comments
dec0dedab0de 1220 days ago
Type systems do not replace testing, and if a test works after retrying it then it is probably not something that a type system would be able to catch.
link
lmm 1220 days ago
> Type systems do not replace testing

They're a good substitute for many of the use cases of testing.

> if a test works after retrying it then it is probably not something that a type system would be able to catch.

Type systems are pretty good at catching incorrect concurrency logic these days, and getting better all the time.

link
namaria 1218 days ago
Yes they are not equivalent, but creating languages without a strict type system and the proposition of test driven development are going back and fort in strictness. It is beneficial to have a more strict programming language, but it can be uncomfortable and burdensome. So I find interesting we keep going back and forth in this dimension.
link