Re: DYNAMIC ADA TASK CREATION?

[maa@liacc.up.pt (Mário Amado Alves)]

"Why not:
   type Element (<>) is limited private;" (Dmitri)

"Because the type must be definite, of course! Otherwise, how would
you know how much space to allocate for the object?" (Matthew)

With the amazing 'Size attribute, of course!

What I have *not* figured out yet is how to use the really amazing
'Definite attribute to choose the most efficient implementation
automatically (at compile or at run time).

Matthew should remember the small talk we had about this in Toulouse.
His impression was this is not possible and after a little research
that is my impression too. But never loose hope! Namely there is
always Ada 2015:

  -- Don't try this at home!
  generic
    type Element_Type (<>) is private;
  package Unbounded_Arrays is
    when Element'Definite =>
      new package Unbounded_Arrays_For_Definite_Elements
(Element_Type);
    when not =>
      new package Unbounded_Arrays_For_Nondefinite_Elements
(Element_Type);
  end;

Cheers,
--Marius