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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,74a0352df2d2082a
X-Google-Attributes: gid103376,public
From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: strongly typed langauge
Date: 1996/09/19
Message-ID: <1996Sep19.120009.1@eisner>#1/1
X-Deja-AN: 183985482
x-nntp-posting-host: eisner.decus.org
references: <51rai1$2jh@rc1.vub.ac.be>
x-nntp-posting-user: KILGALLEN
x-trace: 843148814/6604
organization: LJK Software
newsgroups: comp.lang.ada
Date: 1996-09-19T00:00:00+00:00
List-Id: <comp.lang.ada>


> Could Some explain to me what the term "strongly typed language" is in the
> context of ada.  Could you give some examples and tips as on how to
> avoid errors related to this particular domain.

A strongly typed language is one which requires explicit declaration
of datatypes for variables and prevents inadvertent intermixing:

    declare
        POINTER_TO_INTEGER is access INTEGER;
    begin
        POINTER_TO_INTEGER := 42;
    end;

Ada compilers will indicate an error since while 42 may be an integer,
it is not a pointer to an integer.  (Ada compilers may find other
errors in the above, I have not tested it.)

Strong typing is nothing new, Pascal compilers have been able to
discover the above error for years.  There are more subtle errors,
however, which Ada can catch but Pascal cannot.

There are other programming languages, with shorter names than
Ada, which do not catch errors of the type shown above.  They
rely on the hardware to catch the error with an operating system
fault later on, when the programmer is safely out of town.

Larry Kilgallen