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

Andrew Coppin andrewcoppin at btinternet.com
Sun Jan 6 09:07:48 EST 2008

Mads Lindstrøm wrote:
> Hi,
> Andrew Coppin wrote:
>> Human kind has yet to design a programming language which eliminates all 
>> possible bugs. ;-)
> And we never will.

Quite so. How can a machine possibly tell whether a given behaviour is a 
"bug" or an "intended behaviour"? This is impossible. ;-)

More information about the Haskell-Cafe mailing list