Re: Build language with weak typing, then add scaffolding later to strengthen it?

[Simon Wright <simon@pushface.org>]

Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> writes:

> What I would hope is that the designer uses unsigned integers for
> those variables and, in order to make the code portable across
> platforms, they used uint32_t and friends to encode within the program
> what the actual required size of those variables need to be.

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!)

Bit of sed script:

# Unsigned types in parameters/record components
s/stdint_h.uint(8|16|32|64)_t/Interfaces.Unsigned_\1/g