[BerislavLopac]

There is also C#, where # represents a duplication of "++", on top of each other. Technically, the # is not the sign for the musical sharp key (♯), but "C sharp" sounds better than "C hash", "C pound" or "C octothorp". :)

Edit: On an unrelated note, TIL that the sign used on telephone keys is also not #, but ⌗ -- a.k.a. the "Viewdata square" [0].

[0] https://en.wikipedia.org/wiki/Viewdata#Keypad_symbols:_the_s...

[Y_Y]

I assumed they just meant to comment out everything that came after C.

[fluoridation]

Then it would be called C// or C/*

[fhd2]

And then there's F#, which _does_ play on musical notation. But I suppose F is also for "functional".

[zogrodea]

The F there is for System-F! According to Don Syme, although I don’t personally know what System-F is. https://www.theregister.com/2021/11/12/f_6_were_making_f/

Don Syme is a pretty cool guy from what I’ve seen online too. He enjoyed supporting and attending Migrateful (UK charity where refugees/asylum seekers teach cooking classes) which I’m appreciative of in particular.

[kevindamm]

System F is a polymorphic lambda calculus, it's more theoretical than practical (typing must be explicit or type inference may be impossible) but a restriction of its typing scheme is one you may have heard of, and the Hindley-Milner type inference algorithm works for it.

https://en.m.wikipedia.org/wiki/System_F

[MisterTea]

> Edit: On an unrelated note, TIL that the sign used on telephone keys is also not #, but ⌗ -- a.k.a. the "Viewdata square" [0].

https://en.wikipedia.org/wiki/Telephone_keypad#Layout

"The key labeled was officially named the "star" key. The key labeled # is officially called the "number sign" key, but other names such as "pound", "hash", "hex", "octothorpe", "gate", "lattice", and "square", are common, depending on national or personal preference. The Greek symbols alpha and omega had been planned originally."

[psunavy03]

I'm now imagining an alternate world where Twitter/X introduced us to alphatags or omegatags.

[bitwize]

Twitter borrowed the # convention from IRC channel names, not telephone keypads.

[topaz0]

# may not be the same glyph as musical sharp, but the language name was indeed intended to have a musical interpretation, according to the wikipedia.