comp.lang.ada
 help / color / mirror / Atom feed
From: anon@anon.org (anon)
Subject: Re: Learning Ada (Was: unsigned type)
Date: Fri, 03 Jul 2009 22:20:10 GMT
Date: 2009-07-03T22:20:10+00:00	[thread overview]
Message-ID: <uuv3m.99605$d36.43711@bgtnsc04-news.ops.worldnet.att.net> (raw)
In-Reply-To: 878wj61bpo.fsf_-_@nbi.dk

Standards are the way to go.  
How would you like to define a Boolean alone with the universal_integer 
and universal_real types. Then have to define operations for all of those 
types for every program.  All you would have to do is rebuild the Standard 
specification package and include a body for the operations. Now, if 
someone needs to modify the program then they need the new Standard package.
But wait a minute, without the built-in standards and the compiler 
understatement of those types (Boolean, universal_integer and universal_real) 
the compiler could not understand how to build you new Standard package. The 
compiler must have a bases for those standards in order to allow you to 
redefine those standard. Even in GNAT you can rewrite the Standard package, 
but it still will fall back and use the built-in Standard operations.



Also, Its kind of funny.  Other than me not one person here tried to answer the 
original person question from "unsigned type".

I saw the title "unsigned type" and stated they are defined in predefined in the 
Interface package. But if he looked at the package he would get an example of 
what he could do to define a special type.

But no one else tried to define the type he was truly looking for. Some gave a 
sentence or two stating that CARDINAL was like a Natural or etc. But no one 
posted a statement like

  type CARDINAL is ... ;

and filled in the details, which is defined as a special type. Now, if Ludovic 
Brenta, was correct that most Ada programmers prefer to create their own 
types, then where were those programmers posting that type of statement 
for an answer. 



In <878wj61bpo.fsf_-_@nbi.dk>, Jacob Sparre Andersen <sparre@nbi.dk> writes:
>Rob Solomon wrote:
>
>> Ada as a Second Language is a far better book to learn from.  My
>> earlier posts were because I first opened the John Barnes book and
>> that left me w/ more questions than answers.  It introduces very
>> advanced concepts like OOP, pointers, abstract types, etc before
>> loops are covered.  That is, he writes about advanced data
>> structures before covering more basic control structures.  This made
>> it very hard for me to follow.
>
>I would say that the way Barnes' book is structured points out a very
>important aspect of Ada; Types are important!
>
>When you write a program in Ada, you should start out by considering
>which data you want to handle, and then declare the appropriate data
>types for handling these data.  Once you have declared the types, you
>can start writing algorithms which handle the data.
>
>It might be to push things a bit too far, but I think it would be
>beneficial, if the types Float and Integer were removed from the
>language.
>
>> So I am going onto the Norman Cohen book.  This is much better
>> organized for a newcomer.
>
>Personally I learned Ada (95) from the Language Reference Manual.
>
>Greetings,
>
>Jacob
>-- 
>"It is a syntax error to write FORTRAN while not wearing a blue tie."




  parent reply	other threads:[~2009-07-03 22:20 UTC|newest]

Thread overview: 113+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-06-28 15:36 unsigned type Rob Solomon
2009-06-28 15:45 ` Florian Weimer
2009-06-28 15:48 ` Albrecht Käfer
2009-06-28 17:56 ` anon
2009-06-28 19:17   ` Ludovic Brenta
2009-06-28 23:08     ` anon
2009-06-29  0:19       ` tmoran
2009-06-29  8:00         ` anon
2009-06-29  9:56           ` Jean-Pierre Rosen
2009-06-29 10:21             ` Ludovic Brenta
2009-06-29 11:23               ` sjw
2009-06-29 12:07                 ` Jean-Pierre Rosen
2009-06-29 20:06                 ` anon
2009-06-29 19:31               ` anon
2009-06-29 21:49                 ` Georg Bauhaus
     [not found]                 ` <zuKdneNYxfFNLNTXnZ2dnUVZ_t2dnZ2d@earthlink.com>
2009-06-30 11:29                   ` anon
2009-06-30 12:19                     ` Ludovic Brenta
2009-06-29 20:19             ` anon
2009-06-29 20:41               ` Ludovic Brenta
2009-06-29 22:15               ` Georg Bauhaus
2009-06-29 23:08               ` Adam Beneschan
2009-06-29 23:11               ` Adam Beneschan
2009-06-30 12:39               ` Martin
2009-06-29 10:25           ` Georg Bauhaus
2009-06-29 20:02             ` anon
2009-06-29 22:08               ` Georg Bauhaus
2009-06-30 23:01                 ` Randy Brukardt
2009-06-30 13:46               ` Jean-Pierre Rosen
2009-06-30 15:22                 ` Adam Beneschan
2009-06-30 15:59                   ` Albrecht Käfer
2009-06-30 16:59                     ` Adam Beneschan
2009-06-30 17:44                       ` Albrecht Käfer
2009-06-30 18:13                         ` Robert A Duff
2009-06-30 18:16                           ` Albrecht Käfer
2009-06-30 23:48                       ` anon
2009-07-01  1:39                         ` Adam Beneschan
2009-07-02 19:04                           ` anon
2009-07-02 19:49                           ` anon
2009-07-02 21:37                             ` Adam Beneschan
2009-07-03  1:42                             ` anon
2009-07-03  2:10                               ` Adam Beneschan
2009-07-03  7:07                             ` Jean-Pierre Rosen
2009-07-03 20:53                               ` anon
2009-07-03 21:24                                 ` Georg Bauhaus
2009-07-04  9:09                                   ` anon
2009-07-04 13:43                                     ` Georg Bauhaus
2009-07-06  9:04                                     ` AdaMagica
2009-07-03 21:46                                 ` Adam Beneschan
2009-07-04 12:39                                   ` Martin
2009-07-01  8:09                   ` Jean-Pierre Rosen
2009-07-01 15:08                     ` Albrecht Käfer
2009-07-11 14:40           ` Hibou57 (Yannick Duchêne)
2009-07-11 17:18             ` sjw
2009-07-11 18:15               ` Hibou57 (Yannick Duchêne)
2009-07-11 20:20             ` anon
2009-07-12 17:57               ` Samuel Tardieu
2009-07-12 18:24                 ` AdaMagica
2009-07-13 22:03                 ` anon
2009-07-14  7:58                   ` Martin
2009-07-16 13:54                     ` anon
2009-07-16 14:41                       ` Martin
2009-07-16 15:12                         ` Adam Beneschan
2009-07-11 14:43           ` Hibou57 (Yannick Duchêne)
2009-07-11 15:22             ` Albrecht Käfer
2009-06-29  8:42       ` Martin
2009-06-29  8:54         ` Dmitry A. Kazakov
2009-06-29 10:10           ` Martin
2009-06-29 12:34             ` Dmitry A. Kazakov
2009-06-29 19:26             ` anon
2009-06-29 23:02               ` Martin
2009-06-29 19:47           ` anon
2009-06-30  8:31             ` Ludovic Brenta
2009-06-28 19:54   ` tmoran
2009-06-28 22:34     ` Gary Scott
2009-06-28 23:15       ` John B. Matthews
2009-06-28 23:21       ` anon
2009-06-29  7:18       ` Dmitry A. Kazakov
2009-06-29  9:52         ` Georg Bauhaus
2009-06-29 12:43           ` Dmitry A. Kazakov
2009-06-29 13:36     ` Rob Solomon
2009-06-29 14:03       ` Robert A Duff
2009-06-29 14:13       ` Georg Bauhaus
2009-06-29 14:18       ` Ludovic Brenta
2009-06-29 15:40         ` Robert A Duff
2009-07-03  1:41         ` Rob Solomon
2009-07-03  7:12           ` Learning Ada (Was: unsigned type) Jacob Sparre Andersen
2009-07-03  8:38             ` Learning Ada Peter Hermann
2009-07-03  9:44               ` Georg Bauhaus
2009-07-03 22:20             ` anon [this message]
2009-07-04 14:53               ` Learning Ada (Was: unsigned type) Georg Bauhaus
2009-07-05 23:21                 ` anon
2009-07-06  0:05                   ` Ludovic Brenta
2009-07-06  0:19                   ` Learning Ada Albrecht Käfer
2009-07-06  2:50                     ` anon
2009-07-06  6:18                       ` AdaMagica
2009-07-06  7:47                         ` Jean-Pierre Rosen
2009-07-06 20:21                         ` anon
2009-07-06 21:08                           ` Georg Bauhaus
2009-07-06 22:43                           ` Frank J. Lhota
2009-07-09 22:28                             ` anon
2009-07-10  6:23                               ` AdaMagica
2009-07-06 10:53                   ` Learning Ada (Was: unsigned type) Georg Bauhaus
2009-07-06 19:34                     ` anon
2009-07-06 20:29                       ` Learning Ada Albrecht Käfer
2009-07-06 21:04                       ` Learning Ada (Was: unsigned type) Georg Bauhaus
2009-07-07 19:25                       ` sjw
2009-07-06 23:15                   ` Randy Brukardt
2009-07-07 15:29                     ` Adam Beneschan
2009-07-09  0:15                       ` Randy Brukardt
2009-07-09 15:26                         ` Adam Beneschan
2009-06-29 15:37       ` unsigned type Adam Beneschan
2009-07-06 20:20       ` Dave
2009-06-29 16:51 ` Martin Krischik
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox