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

Peter Hercek 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 mailing list