3 ms·
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
by BerislavLopac 3y ago
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_sextile_and_the_square https://en.wikipedia.org/wiki/Viewdata#Keypad_symbols:_the_s...
- Y_Y 3y agoI assumed they just meant to comment out everything that came after C.
- fluoridation 3y agoThen it would be called C// or C/*
- fhd2 3y agoAnd then there's F#, which _does_ play on musical notation. But I suppose F is also for "functional".
- zogrodea 3y agoThe 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/ 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 3y agoSystem 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 https://en.m.wikipedia.org/wiki/System_F
- topaz0 3y ago# 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.
- MisterTea 3y ago> 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 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."