FP/Java vs. OCaml (Re: [linux-l] Ocml vs. Java)

[olafBuddenhagen at gmx.net]

Hallo,

> Ausserdem bietet pure funktionale Programmierung die Möglichkeit (aus
> dem eben genannten Grunde), die Korrektheit von Programmen mithilfe
> mathematischer Methoden sicher zu stellen.
> 
> Dies geht in imperativer Programmierung prinzipiell nicht.

Das ist falsch. Verifikation ist bei imperativen Sprachen schwierig,
aber mit gewissen Einschränkungen machbar. Wenn man auf Rekursion und
noch irgendwas verzichtet, ist ADA verifizierbar. Und Jonathan Shapiro
arbeitet an einer Sprache namens "BitC" (oder so ähnlich), die sogar
mehr bieten soll.

-Olaf-