[Haskell-cafe] Re: US Homeland Security program language security risks

[Peter Hercek]

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).

Peter.