[FOM] 187:Grand Unification 2 - saving human lives

[Stuart O Anderson]

Regarding Dr. Friedman's latest posting concerned with the development of
a verifiable programming language, I'm not sure I understand how what's
being proposed would differ in practice from existing research
languages, such as ML, that allow formal proofs of correctness.  What
further benefits might be realized if a language meeting the
specifications set out were to be created?

Regards,

Stuart Anderson