On 10 Apr 2017, at 06:40, Robert Swierczek <rmswierczek(a)gmail.com> wrote:
The lack of types is closer
to the machine
It's not: it's further. Languages like BCPL and B were fine for word-addressed
machines which had really one type in the hardware, but modern machines are a seething
mass of types: four or more integral types, two or more float types, at least.