Unicode subscript digits are a godsend for renaming variables in a compiler IR. The results (lst₀ lst₁ lst₂ etc) are so much more readable than lst_0 lst_1, especially when you have common variable names like x0 y0 x1 y1 ...

@tfb I just need a convenient way to type them in. Xkb layout, Emacs minor mode, or something.

@tfb OTOH, there is no excuse to not use Unicode to it's fullest in the generated *output* of a program.

@amiloradovsky In this case, the difficulty of input is helpful as it means it's vanishingly unlikely that I'll have variables that already end in subscripts.

Sign in to participate in the conversation
Functional Café is an instance for people interested in functional programming and languages.