Skip to content

Comment on C*: Unifying Programming and Verification in C (2025)parent

Comments

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.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.