No general procedure for bug checks will do.
Now, I won’t just assert that, I’ll prove it to you.
I will prove that although you might work till you drop,
you cannot tell if computation will stop.
You can never find general mechanical means
for predicting the acts of computing machines;
it’s something that cannot be done. So we users
must find our own bugs. Our computers are losers!
– Snooping the Loop Snooper
My personal list (mostly imperative languages)
C++: (Complex software with elegance + performance )
Solaris and Freebsd
- Rich Hickey implementation of the clojure runtime in Java
(it was there in 2009.. maybe now this is in clojure itself??)
- The Go standard libraries
I wish it would dawn upon engineers that, in order to be an engineer, it is not enough to be an engineer.
José Ortega y Gasset, 1939