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

[Mads Lindstrøm]

Hi,

Andrew Coppin wrote:
> 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. ;-)
And we never will. See http://en.wikipedia.org/wiki/Halting_problem .


Greetings,

Mads

> 
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe