On: Rust, Macros, λ-calculus/Church numerals, oh my

[worldsayshi]

> Fully 92.6% of working programmers have no idea how to produce a λ or γ on their input device of choice

I can imagine a simple remedy for this. Have the IDE suggest symbol replacements whenever the use types the name of the symbol. 'lambda' causes λ to be suggested.

[saagarjha → worldsayshi]

That is, if they know that “λ” is “lambda”, which honestly might not extend to many of the Greek letters, to say nothing of Unicode.

[worldsayshi → saagarjha]

Well, just add a hint when hovering on the symbol. I think we to make better use of our tools.