James Mills <prolo...@shortcircuit.net.au> writes: > Actually - in case you are perfectly unaware - programming > languages -do not- bare meaning to such systems nor have > an impact on their suitability or unsuitability.
Er, who do you think you are trying to fool, saying things like that? Maybe just yourself. > Have you ever developed a system with 0 defects ? > If you have not, go away. > Have you ever developed a system that is mathematically sound ? > If you have not, go away. > And can you -actually- prove that any of your system are -correct- ? > ... ditto ... http://compcert.inria.fr/doc/index.html (no, I didn't work on this). Care to attempt something comparable in Python? -- http://mail.python.org/mailman/listinfo/python-list
