Content deleted Content added
Agda |
→Ada and Agda: Reply Tags: Disambiguation links added Reply |
||
Line 108:
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)
::[[WP:HATCONFUSE]] suggests that "these hatnotes should only be used when the ambiguity exists for a significant portion of the readership".
::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)
| |||