Re: Ada lacks lighterweight-than-task parallelism

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-06-20 16:01, Mehdi Saada wrote:
> Considering how complicate writing Ada compilers already is, and seeing that there is no standard interface between those and tools - as far as I get it - it would likely make the hypothetic compilers huge and considering GNAT is the only one implementing (most) of the 2012 version, fusing tools and compilers might close for good the Ada compilers market.
> Haven't you been promoting free market ?

Yes.

> Stop me if I made a mistake.

How adding features like low-level parallelism makes compiler smaller?

I actually want a reduced Ada. The exiting type system must be moved to 
the library level expressed in more general terms. Generics can be 
removed. Representation clauses hugely reduced to essential. Containers 
need not to be in the standard. I/O library can be hugely reduced once 
the type system fixed. All dynamic checks can be removed, replaced by 
static contracts: do this when that or raise Constraint_Error otherwise. 
etc.

Essential are only the type system, compilation units, tasking and 
statical analysis support.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de