[Haskell-cafe] US Homeland Security program language security
mads_lindstroem at yahoo.dk
Sun Jan 6 08:27:10 EST 2008
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 .
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe