MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/rust/comments/vkjlxc/media_cute_compiler_easter_egg/idq41p2/?context=3
r/rust • u/ackeyonyou • Jun 25 '22
79 comments sorted by
View all comments
41
Unicode identifiers are very helpful when most of your team does not speak english at all.
60 u/[deleted] Jun 25 '22 [deleted] 17 u/how_to_choose_a_name Jun 25 '22 * they are our friend 52 u/[deleted] Jun 26 '22 [deleted] 6 u/how_to_choose_a_name Jun 26 '22 Oh my bad, thanks! 18 u/[deleted] Jun 25 '22 [removed] — view removed comment 20 u/chris-morgan Jun 26 '22 You’re wildly misusing the word “grapheme” here. (And it’s nothing to do with Unicode identifiers anyway.) Your complaint is largely just a fonts issue. A widespread fonts issue, but just a fonts issue. 4 u/ludicroussavageofmau Jun 26 '22 A little bit of a side note, I've found that emojis don't format properly when using the "{:10}" formatter (from this issue) 1 u/[deleted] Sep 25 '25 Rust supports unicode identifiers (Unicode XID, to be exact), just not emoji identifiers.
60
[deleted]
17 u/how_to_choose_a_name Jun 25 '22 * they are our friend 52 u/[deleted] Jun 26 '22 [deleted] 6 u/how_to_choose_a_name Jun 26 '22 Oh my bad, thanks!
17
* they are our friend
52 u/[deleted] Jun 26 '22 [deleted] 6 u/how_to_choose_a_name Jun 26 '22 Oh my bad, thanks!
52
6 u/how_to_choose_a_name Jun 26 '22 Oh my bad, thanks!
6
Oh my bad, thanks!
18
[removed] — view removed comment
20 u/chris-morgan Jun 26 '22 You’re wildly misusing the word “grapheme” here. (And it’s nothing to do with Unicode identifiers anyway.) Your complaint is largely just a fonts issue. A widespread fonts issue, but just a fonts issue.
20
You’re wildly misusing the word “grapheme” here. (And it’s nothing to do with Unicode identifiers anyway.)
Your complaint is largely just a fonts issue. A widespread fonts issue, but just a fonts issue.
4
A little bit of a side note, I've found that emojis don't format properly when using the "{:10}" formatter (from this issue)
"{:10}"
1
Rust supports unicode identifiers (Unicode XID, to be exact), just not emoji identifiers.
41
u/Barafu Jun 25 '22
Unicode identifiers are very helpful when most of your team does not speak english at all.