News for hackers. Stuff that matters.

A comment on The sky is not falling – about the supposed end of dynamic languages. Parent comment

Re:The sky is not falling – about the supposed end of dynami... by incepted on Sunday November 29, 2015 @01:06PM (#10645428)
And you are falling prey to the Nirvana fallacy [1].

Yes, we will never be able to prove that a program is 100% correct but that doesn't mean we shouldn't prefer solutions that bring that number up (statically typed languages) over solutions that don't (dynamically typed languages).

Just because you can't do something perfectly doesn't mean you shouldn't try to do it as best you can.

[1] https://en.wikipedia.org/wiki/Nirvana_fallacy

[ Parent | on HN ]
Re:The sky is not falling – about the supposed end of dynami... by yogthos on Sunday November 29, 2015 @05:49PM (#10646453)
I'm saying that you have to actually demonstrate that additional formalism adds value before you start claiming that it does.
[ Parent | on HN ]
Re:The sky is not falling – about the supposed end of dynami... by Turing_Machine on Sunday November 29, 2015 @07:49PM (#10646951)
Yes. Real-world programming is an entirely different thing from academic research.

In the real world, it may well be the case that while you're screwing around with a baroque type system, your competition has iterated three or four times and your milkshake has been drunk.

[ Parent | on HN ]