B a specification language similar to Z and Eiffel is used in critical systems, and using preconditions, postconditions and invariants, one can inductively PROOVE that a piece of a code is correct.
Eiffel simply encapsulates these concepts into a complete OO language, albeit a little less rigourously.
All true. The problem is, Ariane 5 fiasco was a direct result of not doing any kind of verification. Which, in turn, was a direct result of some asshole not allocating enough fucking money to do any kind of verification. The team had had proper methodology to find the error, and they would find the error if they were allowed to. How B, Z, Eiffel or any other fucking formalism is going to help you when you're out of funds to apply it properly?
IMHO this is not real pointer arithmetic. You just get to convert pointers to integers and back. This gives approximately the same power as real pointer arithmetic, but in less "elegant" way -- if anything about pointer arithmetic may be cosnsidered elegant.
In C and C++, p++ means p now points to the next element of the array. Your example just makes p point to the next byte.
There is no need for pointers in most coding [...] Java, Delphi, Python, Smalltalk - all proper OO languages and none have pointers. Methinks you confuse pointers in general with pointer arithmetic. All these languages have the former (under some other name: handle, reference... it's all the same; plus they have garbage collection) but not the latter.
Bertrand Meyer who [...] does know his stuff when it comes to high quality software engineering.
Why readers of comp.lang.eiffel compain about instability of ISE's IDE all the time?
Bertrand Meyer claims that Eiffel could prevent Ariane 5 crash, bashes Java, and warns managers against hiring "C Hackers" (in his Object Success) -- the latter bit is nicely rebutted by Robert C. Martin here.
Oh well. For the record: I don't like Eiffel. It's your typical "one idea" language. Inheritable contracts are nice, but the rest is mediocre at best.
You should know that some non-trivial usages of templates quickly lead to types you can't be bothered to spell out. Ever seen an error message from a C++ compiler? For a program that uses STL? Thanks but no thanks. I'd be very unhappy if C++ included such a "feature".
What's the point of this "allow" declaration anyway? Does it lead to more correct programs? If not, it is not needed.
has the power to chuck type checking out the window.
What planet are you from? C++ is not exactly a typesafe language, but not because of templates.
Finally, you make all of the E-Voting software open source that anyone who wants to verify the anonymity and security of the site can see that it won't tie your name to who you voted for and will guarantee the security of the election process.
(Crack smoking moderators rush to mod up the parent)
Duh! How do you verify that the voting server runs the software it claims to run? Think Quake cheaters.
In fact there's a simple, tested, working solution. Uh, well, not so simple, but working nevertheless. Anonymous e-cash protocols work for voting with minimal or no changes.
Young man, back in MY day we didn't have DIPs soldered onto the motherboard. We simply didn't have DIPs to solder onto the motherboard. For that matter, we didn't have motherboards to solder DIPs onto. We had CORE. Talk about newfangled.
ROM basic? Phew! Real men load kernels by TOGGLING the phucking SWITCHES!
(Feel free to reply with completely made up story about vacuum tubes and CRT memory:)
but translations from the greek were made at much later dates than that which we base our work on. I always thought they were made mainly in X-XII centuries. Time to brush up my history:(
To pick even more nits, Archimedes integrated volume of sphere, though he didn't prove any theorems about it. He was so proud of it he asked to make a relevant drawing on his tomb (an ancient equivalent of FIRST POST, or something). Newton and Leibnitz were great, but Archimedes 0wnz them both.
Ok. I'll call you stupid because you asked for this. He didn't write in Arabic. He wrote in Greek. Arabs translated his works to Arabic. It's from these translations we know his works.
That female astronaut would be Shannon Lucid, but she didn't stay there for a full year. Valery Polyakov scored 438 days in a single mission. Sergei Avdeyev scored 748 days in three missions.
It's known about four Russian cosmonauts killed in two accidents. One was a parachute failure, the other was depressurized landing capsule. These two were impossible to cover since Russians used to announce their missions shortly after the launch (if the launch was successful, that is:)
Slashdot Mirror
I can think of a language that not only promises all this, but actually delivers. It's called Smalltalk.
Abbreviated, appropriately enough, as IASS.
Honestly? No :)
Eiffel simply encapsulates these concepts into a complete OO language, albeit a little less rigourously.
All true. The problem is, Ariane 5 fiasco was a direct result of not doing any kind of verification. Which, in turn, was a direct result of some asshole not allocating enough fucking money to do any kind of verification. The team had had proper methodology to find the error, and they would find the error if they were allowed to. How B, Z, Eiffel or any other fucking formalism is going to help you when you're out of funds to apply it properly?Bzzt! Wrong. Thanks for playing.
The central OO concept is inheritance. If you are not doing inheritance (in whatever language) you are not doing OO.
In C and C++, p++ means p now points to the next element of the array. Your example just makes p point to the next byte.
And yes, I don't know Delphi that much. See .sig.
Bertrand Meyer who [...] does know his stuff when it comes to high quality software engineering.
Why readers of comp.lang.eiffel compain about instability of ISE's IDE all the time?
Bertrand Meyer claims that Eiffel could prevent Ariane 5 crash, bashes Java, and warns managers against hiring "C Hackers" (in his Object Success) -- the latter bit is nicely rebutted by Robert C. Martin here.
Oh well. For the record: I don't like Eiffel. It's your typical "one idea" language. Inheritable contracts are nice, but the rest is mediocre at best.
You should know that some non-trivial usages of templates quickly lead to types you can't be bothered to spell out. Ever seen an error message from a C++ compiler? For a program that uses STL? Thanks but no thanks. I'd be very unhappy if C++ included such a "feature".
What's the point of this "allow" declaration anyway? Does it lead to more correct programs? If not, it is not needed.
has the power to chuck type checking out the window.
What planet are you from? C++ is not exactly a typesafe language, but not because of templates.
You are in the wrong thread.
Duh! How do you verify that the voting server runs the software it claims to run? Think Quake cheaters.
In fact there's a simple, tested, working solution. Uh, well, not so simple, but working nevertheless. Anonymous e-cash protocols work for voting with minimal or no changes.
ROM basic? Phew! Real men load kernels by TOGGLING the phucking SWITCHES!
(Feel free to reply with completely made up story about vacuum tubes and CRT memory :)
but translations from the greek were made at much later dates than that which we base our work on. I always thought they were made mainly in X-XII centuries. Time to brush up my history :(
To pick even more nits, Archimedes integrated volume of sphere, though he didn't prove any theorems about it. He was so proud of it he asked to make a relevant drawing on his tomb (an ancient equivalent of FIRST POST, or something). Newton and Leibnitz were great, but Archimedes 0wnz them both.
Ok. I'll call you stupid because you asked for this. He didn't write in Arabic. He wrote in Greek. Arabs translated his works to Arabic. It's from these translations we know his works.
don't moderate up, google's everybody's friend
It's known about four Russian cosmonauts killed in two accidents. One was a parachute failure, the other was depressurized landing capsule. These two were impossible to cover since Russians used to announce their missions shortly after the launch (if the launch was successful, that is :)