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

Andrew Coppin andrewcoppin at btinternet.com
Sun Jan 6 06:23:11 EST 2008

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

More information about the Haskell-Cafe mailing list