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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
