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.
@tfb math nerd 👍
functional.cafe is an instance for people interested in functional programming and languages.