Content deleted Content added
→Ada and Agda: no hatnote here |
→Embraced by the Education System?: new section |
||
Line 111:
::Given what has been said, it seems to me that the status quo - hatnote on [[Agda]] but not on [[Ada (programming language)|Ada]] makes perfect sense. A significant proportion of the readership arriving at [[Agda]] will in reality be looking for the much more well-known Ada, while I am not sure a significant proportion of the readers of the more commonly read article will in reality be looking for the more obscure language. [[User:Felix QW|Felix QW]] ([[User talk:Felix QW|talk]]) 09:59, 28 August 2022 (UTC)
:::I agree, no hatnote needed on Ada. I'm not even sure it's needed on the other one. [[User:Wasted Time R|Wasted Time R]] ([[User talk:Wasted Time R|talk]]) 13:17, 28 August 2022 (UTC)
== Embraced by the Education System? ==
Did any colleges ever offer a course in ADA for the Computer Scientists or others interested? I Suspect NOT. ''"In 1991, the US Department of Defense began to require the use of Ada (the Ada mandate) for all software, though exceptions to this rule were often granted. The Department of Defense Ada mandate was effectively removed in 1997, as the DoD began to embrace commercial off-the-shelf ([[Commercial off-the-shelf|COTS]]) technology."'' I believe part of the mandates removal was the cost incurred by contractors as ADA was not getting taught in universities.[[User:Wfoj3|Wfoj3]] ([[User talk:Wfoj3|talk]]) 21:44, 23 December 2022 (UTC)
|