From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,25aa3c7e1b59f7b5
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-01-11 01:25:52 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!t-online.de!newsfeed.r-kom.de!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail
From: dmitry@elros.cbb-automation.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: A case where Ada defaults to unsafe?
Date: Fri, 11 Jan 2002 09:25:51 GMT
Message-ID: <3c3eacff.90102546@News.CIS.DFN.DE>
References: <3C34BF2C.6030500@mail.com> <a12il6$gcs$1@bob.news.rcn.net>
 <3C34D252.4070307@mail.com> <wccwuyycht9.fsf@shell01.TheWorld.com>
 <Pine.BSF.4.40.0201041614240.84382-100000@bpr.best.vwh.net>
 <wcc4rlt51zy.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111)
X-Trace: fu-berlin.de 1010741151 28681276 212.79.194.111 (16 [77047])
X-Newsreader: Forte Free Agent 1.21/32.243
Xref: archiver1.google.com comp.lang.ada:18763
Date: 2002-01-11T09:25:51+00:00
List-Id: <comp.lang.ada>

On Thu, 10 Jan 2002 21:29:05 GMT, Robert A Duff
<bobduff@shell01.TheWorld.com> wrote:

>It seems to me that initializing an object is conceptually different
>from an assignment statement, and therefore deserves a different
>notation.  But I would use the same notation for initializing both
>constants and variables.  I'm not sure I like "=", because we already
>use that for equality tests.  How about ":=" for init, and ":==" for
>assignment statements?  (Imagine you're designing a language from
>scratch, here.)

Someone has already pointed that in Ada there are two different
keywords for initialization. One is ":=", another is "is". For
instance:

procedure Foo is
begin
  ---
end Foo;

is imaginary

Foo :constant Some_anonymous_routine_type := begin ... end Foo;
 
One could always use "is", like:

Count : Integer is 5;

Regards,
Dmitry Kazakov