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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.42.107.76 with SMTP id c12mr12335061icp.11.1432319462033; Fri, 22 May 2015 11:31:02 -0700 (PDT) X-Received: by 10.140.41.40 with SMTP id y37mr151755qgy.1.1432319461902; Fri, 22 May 2015 11:31:01 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!h15no7653746igd.0!news-out.google.com!4ni17qgh.1!nntp.google.com!z60no3256110qgd.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 22 May 2015 11:31:01 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=105.237.112.50; posting-account=orbgeAkAAADzWCTlruxuX_Ts4lIq8C5J NNTP-Posting-Host: 105.237.112.50 References: <127b004d-2163-477b-9209-49d30d2da5e1@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <672fbcc5-7987-495e-a856-179c0567adf2@googlegroups.com> Subject: Re: Build language with weak typing, then add scaffolding later to strengthen it? From: jan.de.kruyf@gmail.com Injection-Date: Fri, 22 May 2015 18:31:01 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:25959 Date: 2015-05-22T11:31:01-07:00 List-Id: On Friday, May 22, 2015 at 7:57:23 PM UTC+2, Simon Wright wrote: >=20 > When I was translating STM32F4 headers into Ada, I was able to convert > the -fdump-ada-spec generated uint32_t into Interfaces.Unsigned_32, > which seemed to work very well (though exceedingly thin, of course!) >=20 > Bit of sed script: >=20 > # Unsigned types in parameters/record components > s/stdint_h.uint(8|16|32|64)_t/Interfaces.Unsigned_\1/g Well Simon I would never feel bad about it. I bought myself a big bottle of= variable-type stripper for doing the kernel module interface. I find life = gets much easier that way.And the code more understandable. In the end it a= ll means nothing, it is often just a whim of the coder. But to get serious: Yes they did mean something when the people first had t= he problem seeing the difference between 32bit code and 64bit code, little = endian and big endian etc. But in Ada the only time it bites you is when yo= u do low level ethernet stuff, and even then there are some tricks to keep = it all straight without going to the extremes of having 5 different type na= mes for the same thing. j.