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

[Andrew Coppin]

Galchin Vasili wrote:
> Hello,
>  
> https://buildsecurityin.us-cert.gov/daisy/bsi/articles/knowledge/coding/295.html
>  
> I stumbled across this page. It seems that Haskell and other strongly 
> typed functional languages like Ml/OCaml will fare much, much better, 
> e.g. buffer overrun. Thoughts . .... comments.

Human kind has yet to design a programming language which eliminates all 
possible bugs. ;-)