There's more than one way to do things | |
PerlMonks |
Re^7: "strong typing" is potentially ambiguousby sleepingsquirrel (Chaplain) |
on Dec 15, 2004 at 18:05 UTC ( [id://415128]=note: print w/replies, xml ) | Need Help?? |
I don't think Pascal-derived type systems are useful for showing program correctness. They are only good for providing hints to the compiler.Well, some people are doing some very interesting research into proof carrying code in java... A Proof-Carrying Code Architecture for Java An Overview of Proof-Carrying Code -- All code is 100% tested and functional unless otherwise noted.
In Section
Perl News
|
|