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-Thread: a07f3367d7,cc3c5a58c46ea9c4
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.92.202 with SMTP id co10mr1290783wib.1.1364344383167;
        Tue, 26 Mar 2013 17:33:03 -0700 (PDT)
Path: 
 p18ni19773wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!216.40.29.245.MISMATCH!novia!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsgate.cuhk.edu.hk!news.glorb.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx05.eternal-september.org!.POSTED!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Runtime startup code for the GNAT Runtime...and a bit of humble
 pie.
Date: Wed, 20 Mar 2013 21:44:02 +0100
Organization: A noiseless patient Spider
Message-ID: <87k3p1dcod.fsf@ludovic-brenta.org>
References: <a7ba9221-84a5-4486-9dcc-c4abda92a326@googlegroups.com>
	<21ad4ef7-0e4a-40ba-ac3f-fe21018c7bd9@googlegroups.com>
	<ki9d7h$3os$2@dont-email.me> <ki9n00$b1$1@dont-email.me>
	<87wqt3cl1x.fsf@ludovic-brenta.org> <kib201$vc1$2@dont-email.me>
	<qTniTuB0uYSRFwrE@ada-augusta.demon.co.uk>
Mime-Version: 1.0
Injection-Info: mx05.eternal-september.org;
 posting-host="ff395ede82e2040854574898484be805";
	logging-data="3356"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18vQwfnquGWG7J5eD9PH4N+"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:HuxuL0FjLYoXa3dFriaKptlUh4g=
	sha1:xT2z1ehhyCYuMpfLPBjX5RYpK3Q=
Content-Type: text/plain; charset=us-ascii
Date: 2013-03-20T21:44:02+01:00
List-Id: <comp.lang.ada>

Mike H writes on comp.lang.ada:
> In message <kib201$vc1$2@dont-email.me>, Simon Clubley
> <clubley@remove_me.eisner.decus.org-Earth.UFP> writes
>>But then you would have code which looks like Ada, but behaves like C. :-)
>>
> You would have source code that is more readable and object code that
> can be expected to behave in the manner defined by the source code.

And compile-time checks, which are *invaluable*!

And run-time checks inserted by the compiler.  Of course, without an
exception handler, you'd have some trouble, initially, debugging
exceptions, but that's still better than no run-time checks at all.

Also, besides the bootstrapping code that you'd be importing, the bulk
of the program would be pure Ada.

-- 
Ludovic Brenta.