Earlier quoted context omitted.
This is like trying to change English or arguing that we should all speak Esperanto. Mathematical notation isn't the way it is to save ink or make it look difficult. It's that way because it works. Notation isn't set by committee, it's just a way of communication that works. If you read cutting edge research you'll find notations being invented all over the place. Most of them will never go anywhere, some will become…
I think this is a very limited take for a hacker forum. We talk about how useful accurate names for variables are all the time, or generally how working to encode more natural/context-related semantics to code helps anyone reading it understand what the goal is better than an extremely terse symbology. Yeah, lots of existing math texts will forever exist with greek alphabet soup, but we don't have to rely on those as…
are you really saying that "let function(argument has type RealNumber) has type RealNumber be a function from a real number argument to a real number" is somehow superior to "let f(x) : R->R"