News for hackers. Stuff that matters.

A comment on Coq mulls new name for programming language. Parent comment

Re:Coq mulls new name for programming language by bantunes on Tuesday June 15, 2021 @05:42AM (#27513029)
This is reductive. Programming languages, for better or worse, are almost 100% in English. Having such a word as its name is not helpful to the project.
[ Parent | on HN ]
Re:Coq mulls new name for programming language by phillc73 on Tuesday June 15, 2021 @06:02AM (#27513152)
Except where they aren't.[1]

Mostly or overwhelmingly programming languages are written in English, but not 100%.

https://en.wikipedia.org/wiki/Non-English-based_programming_...

[ Parent | on HN ]
Re:Coq mulls new name for programming language by chrisseaton on Tuesday June 15, 2021 @06:17AM (#27513236)
Did you miss the 'almost' in the comment you're replying to?
[ Parent | on HN ]
Re:Coq mulls new name for programming language by mlang23 on Tuesday June 15, 2021 @06:36AM (#27513347)
Heck, early version of basic for windows had translated function names. I dont know if MSFT is crazy enough to do that these days, but it was a major PITA and pretty hilarious back then.
[ Parent | on HN ]
Re:Coq mulls new name for programming language by da39a3ee on Tuesday June 15, 2021 @07:11AM (#27513613)
They said “almost”.
[ Parent | on HN ]