Peter Hercek writes:
Andrew Coppin wrote:
Human kind has yet to design a programming language which eliminates all possible bugs. ;-) ...you can mitigate the halting problem. But there always will be specification bugs (when one implenetes something else than what was needed).
Look, you are descending an infinite ramp to conceptual hell, the hell of triviality. Now, you will discuss "what is needed", and from FP we get into politics! But, if it is something you need... Read then the passage of "Earthsea" of Ursula LeGuin. There is something about a language in which YOU COULD NOT LIE. It was the ancient tongue of dragons. Now we see why the dragons are extinct... They were incompatible with the Democracy, AND with Computing Technology... Jerzy Karczmarczuk