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

[Andrew Coppin]

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