Content deleted Content added
→Accuracy: new section |
Agda |
||
Line 103:
This isn't accurate - GNAT Programming Studio, a development IDE/editor, is a open source project by AdaCore, released under GPLv3, but it is *not* part of the GNU Compiler Collection. GNAT, the Ada compiler, is part of the GNU Compiler Collection, however.
== Ada and Agda ==
(moved from [[User talk:Macrakis]])
This is purely anecdotal, but I added the hatnote distinguishing the Ada and Agda programming languages because I was talking about one with a friend and discovered he thought I was talking about the other. And he was a programmer! The languages themselves may be quite different, but their *names* are very similar. Given that this is a general-purpose encyclopedia, one which might be approached by people who aren't already familiar with either or both languages, I think the hatnote is warranted. [[User:Tisnec|Tisnec]] ([[User talk:Tisnec|talk]]) 22:46, 25 August 2022 (UTC)
:{{ping|Tisnec}} WP can't include every possible error made by some individual in a hatnote. It seems unlikely that the 2015 functional language Agda known mostly in academic circles would be confused with the 1983 procedural language. They're written and pronounced differently and they're in different application domains. The only reason I can think that they'd be confused is that Agda is not well known outside specialist circles, which is an argument ''against'' the hatnote. --[[User:Macrakis|Macrakis]] ([[User talk:Macrakis|talk]]) 13:47, 26 August 2022 (UTC)
| |||