And to sibling comments: I care. Non-mainstream languages are talking points. I don't want to get 15 minutes into a "you should have effects like Koka" argument and then find out the other person is talking about a different Koka.
Unlike the old C* linked at the top of this particular thread, Ada is still seeing active development in its language standard and implementations and new work. Pascal (via FreePascal and Delphi, in particular) is also still maintained and in use today.
Neither of those languages are obscure. If enough time passes that they become considered so, by all means there is no reason to condemn the names to an eternal graveyard.
Found another one:
https://www.cs.columbia.edu/~sedwards/classes/2021/4115-fall...
https://github.com/kkysen/cstar
And to sibling comments: I care. Non-mainstream languages are talking points. I don't want to get 15 minutes into a "you should have effects like Koka" argument and then find out the other person is talking about a different Koka.
That C* uses .cs, but nobody is complaining about C# using that extension
That C* was released in 1993
Who actually cares about the name collision?
Count me among those who would care about that enough to be completely dissuaded from naming a new language C*.
Does it matter? Is the global namespace permanently depleted because of an obscure language that nobody has used in 30 years?
By that logic, I think I'll create a new language called Pascal, or maybe Ada...
Unlike the old C* linked at the top of this particular thread, Ada is still seeing active development in its language standard and implementations and new work. Pascal (via FreePascal and Delphi, in particular) is also still maintained and in use today.
Neither of those languages are obscure. If enough time passes that they become considered so, by all means there is no reason to condemn the names to an eternal graveyard.