Re: Proving Correctness (was Java Portability)

["nicolas" <n.brunot@cadwin.com>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3157 bytes --]

"Georg Bauhaus" <sb463ba@l1-hrz.uni-duisburg.de> a �crit dans le message
news: 9kb7s9$hr3$1@a1-hrz.uni-duisburg.de...
> : Where are the library components, reuse etc ... ?
> You're not seriously asking this?

Of course I am, there are not coming with the compiler ...
What means the I in IDE ???

> 'Monthes' is by far an order of magnitude too large
> for the time it took me.
> As always, if you start at http://www.adapower.com...
> Choosing a GUI is a time consuming procedure if you choose not
> by taste, fashion, prestige, or hearsay, but by comparison,
> reading docs, feature lists, about extensibility, integration
> with 3rd party tools, etc.

'minutes' is by far an order of magnitude too large for a lot of people ...
Oh, I imagine a software company, after long and smart studies, deciding to
release their softwares exclusively for OS/2 ...
(If OS/2 doesn't suit you, put whatever you want except Windows Mac, and
Linux ...)
Seriously, they should be a common standard GUI with every compiler, so that
people who don't want to look elsewhere have something easy and ready.
I cannot imagine how this could prevent you to choose carefully another GUI
if you feel like it ...

> (side note: given many approaches to GUIs, it is
> a question whether the choice of "standard" Windows
> applications (a very time dependent term in the Windows world :-)

A lot of things are like "standard" Windows on my linux machine ...
I'm happy with that.
I also like to see brakes at the same place on most cars and motorbikes I
ride, without spending hours reading the doc ...

> Yes, valid, but not technical ones for the most part, if you
> accept that multi language programs are a reality.

I had never thought in even asking the question ...
I sometime hear about the existence of strange exotic languages which are
not Ada ...

 >An alternative is an all-in-one
> solution from one provider, most likely M$. Good for quick hacks,
> and one time products, but, to stress the term "standard" in M$
> universe, for investment in long term projects?

I would to see an equivalent of Java Swing for Ada, nothing more.

> : that there is absolutely no valid reason to miss basic standard tools.
>
> Could you define this term, please?

Once more, check a Java compiler ...
People who do not use Ada won't spend hours explaining what everybody expect

> If you restrict Ada programs to "standard
> Windows applications" and base your observations cencerning
> Ada programming environments on this,
> this isn't really a broad base for you arguments?

My arguments rely on the fact that Ada programs should at least aknowledge
that Windows applications cannot be ignored.
You cannot call that a restriction, if you agree that Ada programs should
not be restricted to one platform application

Today being multi-platform means being fully compliant and comparable to
other products with :
first Windows
then Mac and Linux
after that whatever you want, the more you have, the best it is.

Astonishingly, in Ada world, Windows seems not to be at the beginning of the
list
(because of anti-MS quasi religious concerns ?)
May be that explains everything ....