hi i assume you can't use emoji in identifiers, are there any future plans to support? i know you said utf-8 i didn't look up the grammar to confirm exactly but i assume you mean the simple utf-8 charset, the identifiers profile, but i wondered if enabling the emoji utf-8 profile would be worthwhile? idk the major differences, but you could even go further and just allow unicode utf-8 in general.
hi i assume you can't use emoji in identifiers, are there any future plans to support? i know you said utf-8 i didn't look up the grammar to confirm exactly but i assume you mean the simple utf-8 charset, the identifiers profile, but i wondered if enabling the emoji utf-8 profile would be worthwhile? idk the major differences, but you could even go further and just allow unicode utf-8 in general.
https://unicode.org/reports/tr31/#Emoji_Profile