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

[kalvin.news@gmail.com]

perjantai 22. toukokuuta 2015 22.41.15 UTC+3 J-P. Rosen kirjoitti:
> Le 22/05/2015 19:51, kalvin-nospamhere-.news@gmail.com a écrit :
> > Yes, I understand. I just wanted to make a point here, that an int
> should not be considered type compatible with another int if they are
> declared using different typedefs. Neverthless, my argument is still
> valid if I had used unsigned int, uint16_t or uint32_t:
> > 
> > typedef uint16_t Cylinder;
> > typedef uint16_t Head;
> > typedef uint32_t Sector;
> > 
> > The variables of type Cyliner, Head and Sector should be treated by
> > the compiler as incompatible and different types unless they are
> > explicitly typecasted.
> Of course, being a long time supporter of strong typing, I agree with
> that view. But if you think in terms of abstract types and problem
> domain rather than bits and addresses, don't use C. I see no point in
> trying to make a low-level language higher level: use a language
> designed to support higher level views.
> 
> To take an analogy: nobody would be so fool as to use a language
> designed for making animations on web pages in a real-time context ;-)
> 
> -- 
> J-P. Rosen
> Adalog
> 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
> Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
> http://www.adalog.fr

Reality bites. It is very easy to get a decent and free/inexpensive compiler for almost any microcontroller on the market. And it is quite easy the find developers how are familiar with C/C++. And it is very hard to convince managers to invest to new tools that they do not know or understand, or their knowledge is based on outdated information (like "Yeah, I know Ada. One of my friends worked with Ada in 80's and it was *very* slow, the compiler produced terrible code and they needed Vax-cluster to run the compiler. Ada is so big."). So, we are dealing with a cultural, economical and practical challenges as well as historical burden and bad reputation.

I do not claim that even Ada would be the ultimate solution. Someone made a good point above that, for example Oberon manual is only like 17 pages and Ada RM is over 1000 pages. There might be something wrong here, and may explain partly why Ada has not gain popularity.

In my opinion, one of Ada's problem is that it is not allowed to call a compiler an Ada compiler if it implements only a subset of the language and the compiler has not beed certified. Please correct me if I am wrong here. I would consider a subset of Ada quite attractive if it provided same functionality as a C99, providing Ada's strong type checking and better grammar etc. - and if the compiler would be available even for the smaller microcontrollers for free (in the similar manner as C is available).