[Haskell-cafe] Re: US Homeland Security program language security
phercek at gmail.com
Sun Jan 6 09:39:05 EST 2008
Mads Lindstrøm wrote:
> Andrew Coppin wrote:
>> Human kind has yet to design a programming language which eliminates all
>> possible bugs. ;-)
> And we never will. See http://en.wikipedia.org/wiki/Halting_problem .
If you limit usage of general recursion (and rather favor structural
recursion) then you can mitigate the halting problem.
But there always will be specification bugs (when one implenetes
something else than what was needed).
More information about the Haskell-Cafe