10 Jul
2023
10 Jul
'23
8:38 a.m.
I'm not terribly convinced this is something that needs changing. Personally I don't particularly care about identifier length at all, slightly preferring more descriptive names even. I'm not all that convinced about distinguishing between external and internal API based on naming either—essentially, something is internal until we decide to export it—but I'll grant that there are fewer constraints on names for purely internal API.
I'm willing to humour people on this, but that would be predicated on there being a clear consensus on the replacement...