Hello everyone!
While still rather new Godot, I have quite often faced the problem that, while coding, screen space is rare. To save at least one glyph, I'd like to propose to have GDScript use the Unicode character → to specify the return type of a function. Currently you need to characters ->.
How do you think about this? Of course, one would be able to use both the old -> and the new → interchangeably.
How do you type this characters on your operating system? For me, an Ubuntu user, it is "AltGr + i".
Implementation would be straightforward, as you can see here: https://github.com/JanKoelzer/godot/commit/0783474fc9fbb0bce39913b1c16c1c2b88038e7f
(Are there any Scala programmers that are familiar with this? Scala uses both -> and →.)