Re: Why no socket package in the standard ?

[anon@att.net]

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


Why should the problem with Java and IEEE-754 cause any problem with Ada?

Ada is designed with System Independent. No other Language, System or 
Virtual Machine should influent the design of Ada. And this includes the 
CPU and/or FPU.  Note: Library package "Interfaces" and it sub-packages 
are be used to interface between language and system but these packages 
should not alter Ada or influent its design.

An example is:

  type Big_Integer is range - 2 ** 255 - 1  ..  2 ** 255 - 1 ;
  -- or
  type Big_Float is digits 64 ;

which only a few special systems can handle those types but Ada should so 
long as the functions are defined for this type. Either by the compiler 
or external math library during linking.

Now, having a generic Ada math package or design would insure at least 
for math that Ada is System Independent. And using a standard like IEEE
754 would insure application accuracy while maintaining that System 
Independent.

Note: The math functions may be defined as low-level functions but 
      they are used as medium to high priority function. 
      ISO/IEC/IEEE 60559:2011 (standard IEEE-754) has been approved.

So, for Ada 2012 it could be added.


In <is8unu$7np$1@dont-email.me>, "J-P. Rosen" <rosen@adalog.fr> writes:
>Le 02/06/2011 22:38, anon@att.net a �crit :
>> I think most would say where's the IEEE Math standards 754-2008 before 
>> adopting a BSD standard, IEEE 754 standard, have existed since 1985 
>> before Ada 95, so why it is not include in Ada 2005 and beyond.
>> 
>Because there are many machines that do not conform to IEEE, and it is
>widely recognized that forcing IEEE arithmetic was a major flaw in Java.
>
>Ada did not make the same error.
>
>-- 
>---------------------------------------------------------
>           J-P. Rosen (rosen@adalog.fr)
>Adalog a d�m�nag� / Adalog has moved:
>2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
>Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00