Hehe and an IDE that automatically makes the replacement after you type the ascii combinations. Because I don't want to enter the unicode when writing one of those :)
indeyets
· 2 years ago
Tobias: that's an easy part, as there are a lot of utilities which do such changes in any application (I know at least 2 such tools for mac and 1 such tool for windows)
endeveit
· 2 years ago
But what for? Could you tell in details?
indeyets
· 2 years ago
endeveit: because it looks cool ;)
a = 2; b = 30; Ñ = {qq: 3, zz: 4}
while (b ≥ a) { a ×= c→qq; }
↑b;
Regin
· 2 years ago
Hmmm... what about unicode keyboards?
hartmut
· 2 years ago
- typing unicode -> no way
- auto replacement -> i'd rather have "what you type is what you get"
- pretty printing -> tools like a2ps have been supporting this for ages
- and then there's the situation every once in a while where you have to modify code on a deployment system on which $EDITOR is not unicode aware yet ...
Jan
· 2 years ago
@Regin Too many keys :p
indeyets
· 2 years ago
hartmut: - typing unicode can be not-so-painful if OS gives a helping hand - auto replacement is a personal choice
anyway, I think I made it clear, that both of these options (good'ol ascii and pretty unicode) should be supported by compilers/interpreters, imho.
and non-unicode-aware editor is something I don't want to face (actually I am quite happy, that these days I can use unicode on mac, linux, freebsd, openbsd and solaris)
and pretty-printing is a source of confusion… because whenever you read pretty-printed document and try to type it in, you get problems…
Sebastian
· 2 years ago
Here you already see the problems, Unicode introduces: The replacement you want for "->" (an Arrow) renders as ">" on my computer that doesn't have a very exotic configuration: WinXP + Firefox (German version both)
indeyets
· 2 years ago
Sebastian: that just means, that your font doesn't support that symbol… :)
Unfortunately, a lot of windows-fonts have poor unicode-support.
endeveit
· 2 years ago
Looks very unusual :) Maybe it is power of habit or inertness of thinking :D
Dominik del Bondio: user-definable operators are possible in Haskell (and I guess some other languages) too…
I want to see that as a "native feature" (aliased to standard ascii-operators)
Mark Dennehy
· 2 years ago
Finally, a use for all the keys on the space cadet keyboard! :D
Mgccl
· 2 years ago
I would love this to happen. If I can input these things easily.. Like every time I want a square root sign I have to go to online and search "square root UTF" to find it.
indeyets
· 2 years ago
Mgcci: such input is easily achieved using macro-expanders… such as TextExpander (on mac)
I am sure there are similiar tools for other platforms
All Comments
Because I don't want to enter the unicode when writing one of those :)
Could you tell in details?
a = 2;
b = 30;
Ñ = {qq: 3, zz: 4}
while (b ≥ a) {
a ×= c→qq;
}
↑b;
- auto replacement -> i'd rather have "what you type is what you get"
- pretty printing -> tools like a2ps have been supporting this for ages
- and then there's the situation every once in a while where you have to modify code on a deployment system on which $EDITOR is not unicode aware yet ...
- typing unicode can be not-so-painful if OS gives a helping hand
- auto replacement is a personal choice
anyway, I think I made it clear, that both of these options (good'ol ascii and pretty unicode) should be supported by compilers/interpreters, imho.
and non-unicode-aware editor is something I don't want to face (actually I am quite happy, that these days I can use unicode on mac, linux, freebsd, openbsd and solaris)
and pretty-printing is a source of confusion… because whenever you read pretty-printed document and try to type it in, you get problems…
Unfortunately, a lot of windows-fonts have poor unicode-support.
Maybe it is power of habit or inertness of thinking :D
http://dev.perl.org/perl6/faq.html:
user-definable operators (from the full Unicode set)
and http://dev.perl.org/perl6/doc/design/syn/S03.ht...
;)
http://kurapov.name/unicode/
http://blog.libssh2.org/index.php?/archives/69-...
I want to see that as a "native feature" (aliased to standard ascii-operators)
If I can input these things easily..
Like every time I want a square root sign I have to go to online and search "square root UTF" to find it.
I am sure there are similiar tools for other platforms