&gt; It reminds me a bit of GO with its packages.<p>Ada Tasks also bear some semblance to goroutines. (In the sense that they share memory by communicating instead of communicating by sharing memory.)<p>It&#x27;s definitely a nice and well-designed language IMO—with a share of annoyances[1] and flaws—but overall deserving of more attention than it gets. Lately I&#x27;ve gotten comfortable enough with it that I have been making a habit of reaching for Ada for side-projects where I would formerly use C. (For example, I&#x27;m writing a toy X window manager in Ada at the moment—using XCB from Ada is a little ugly at times but definitely bearable.)<p>1. For example, why can&#x27;t a record discriminant be a range bound? Answer: standards committee didn&#x27;t think people would use it. Of course, this means if you have an array of discriminated size, you can&#x27;t conveniently have a type for a position in it. e.g.<p><pre><code>  type Thing_Stack (Max_Size : Positive) is record
    Elements : array (Positive range 1 .. Max_Size) of Thing;
    Top_Index : Positive range 0 .. Max_Size := 0;  -- 0 = Empty stack
  end record;
</code></pre>
Fails to compile with &quot;Discriminant cannot constrain scalar type&quot;. According to [2], this is because<p>&gt; This restriction is left over from Ada 83 (RM83 3.7.1(6)). We considered removing this restriction in Ada 95, but ultimately decided that the implementation effort to support this modest extension would outweigh the (more?) modest benefits. Perhaps a short-sighted decision, in retrospect...<p>&gt; As for why the original Ada 83 restriction existed, noone knows for sure, but it probably relates to the historical purpose of discriminants as only for controlling the &quot;shape&quot; of the record, rather than being seen (as in Ada 95) as more general type &quot;parameters.&quot;<p>And apparently it got left in Ada 2012 also.<p>(For C people, this is basically:<p><pre><code>  typedef struct {
    size_t max_size, top_index;
    thing elements[];
  } thing_stack;
</code></pre>
but bounds-checked and without the annoyance of allocating flexible array members.)<p>2. <a href="http:&#x2F;&#x2F;computer-programming-forum.com&#x2F;44-ada&#x2F;82b646ab38d529af.htm" rel="nofollow">http:&#x2F;&#x2F;computer-programming-forum.com&#x2F;44-ada&#x2F;82b646ab38d529a...</a>