I came up with one.
Agda:
You are a stylite whose years of living on the pillar have driven you to solipsism. You are convinced that the land that you can see, the Land of Computable Functions, is all that exists. However, you disdain to go down and actually compute anything, for that would take far too long.
I once read somebody, though I can’t remember who or where, who said, paraphrased: Variable and function names tell you more about what code does than keywords and language constructs do. There should be a syntax highlighting that highlights names, and deemphasises keywords; semantic highlighting, almost. Ever since I’ve read that I’ve wanted to try it out.
Alok writes that sie mainly wanted to make syntax more uniform and familiar – but it seems to me that hir theme emphasises names, too, by making the keywords symbol-sized. Like marrying mathematics’s compact syntax to programming’s meaningful names. I like it!
I don’t know who said that quote, but the idea behind it was one of my main motivations for doing conceal like this along with uniform syntax. I wanted uniform syntax in the first place because I wanted to deemphasize the keywords and just see their “shape”.