4 ms·
This has remained unsettled for 60 years. Perhaps we need a new choice? How about Unicode "Thin Space" 0x2009 for a legal identifier character? (HN isn't letti
by jws 4y ago
This has remained unsettled for 60 years. Perhaps we need a new choice?
How about Unicode "Thin Space" 0x2009 for a legal identifier character? (HN isn't letting me put the Thin Space in there.)
How about Unicode "Middle Dot" 0x00B7 for a legal identifier·character?
Best if you aren't in a fixed with editor for those.
I used middle dot in an experimental language which was Unicode heavy so already didn't like fixed width fonts. It parses trivially and reads well.
I haven't tried the thin space in earnest, but the example code I typed up looked reasonable.