6 Jan
2008
6 Jan
'08
9:08 a.m.
Am Sonntag, 6. Januar 2008 14:27 schrieb 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
Just because I don't know: what bugs would be possible in a language having only the instruction return () (';' for imperative programmers)? Cheers, Daniel