3 ms·

Agree this is a good idea. To clarify: it'd be cool if language's supported multiple lexemes (?) for a single token. So -> and → (U-2192) are equivalent.

EsotericAlgo 6y ago
Haskell has the UnicodeSyntax language extension which accomplished this https://wiki.haskell.org/Unicode-symbols https://wiki.haskell.org/Unicode-symbols
qwerty456127 6y ago
IIRC Scala has this.
dragonwriter 6y ago
Raku does this enthusiastically: https://docs.raku.org/language/unicode_ascii https://docs.raku.org/language/unicode_ascii
notagoodidea 6y ago
Julia has this too. https://docs.julialang.org/en/v1/manual/unicode-input/ https://docs.julialang.org/en/v1/manual/unicode-input/ and https://riptutorial.com/julia-lang/example/19760/standard-operators https://riptutorial.com/julia-lang/example/19760/standard-op... .
- FridgeSeal 6y ago
  I was going to mention Julia. Not only does it have it, it has it in (what I feel) is a really accessible way. Seen a symbol and you don't know what it is or how to reproduce it? Enter "?" and paste them symbol into the repl and it'll tell you what's it's called, the shortcut to make it, what it does, and the equivalent non-symbol function name.
- dTal 6y ago
  And while not exactly what the parent asked for, the recently released "JuliaMono" font has ligatures for several common combos - including the right arrow - which amounts to practically the same thing: https://juliamono.netlify.app/ https://juliamono.netlify.app/
endgame 6y ago
I've been using Dhall ( https://dhall-lang.org https://dhall-lang.org ) and it does this. But it goes a step further: because `dhall format` defines the canonical form of any dhall code, it does the unicode substitution for you. So you get convenient entry with a normal keyboard, plus nice unicode symbols in code.
- lizmat 6y ago
  This is something Comma, the IDE for the Raku Programming Language, also does: https://commaide.com https://commaide.com

EsotericAlgo 6y ago

Haskell has the UnicodeSyntax language extension which accomplished this https://wiki.haskell.org/Unicode-symbols https://wiki.haskell.org/Unicode-symbols

qwerty456127 6y ago

IIRC Scala has this.

dragonwriter 6y ago

Raku does this enthusiastically: https://docs.raku.org/language/unicode_ascii https://docs.raku.org/language/unicode_ascii

notagoodidea 6y ago

Julia has this too. https://docs.julialang.org/en/v1/manual/unicode-input/ https://docs.julialang.org/en/v1/manual/unicode-input/ and https://riptutorial.com/julia-lang/example/19760/standard-operators https://riptutorial.com/julia-lang/example/19760/standard-op... .

FridgeSeal 6y ago
I was going to mention Julia. Not only does it have it, it has it in (what I feel) is a really accessible way. Seen a symbol and you don't know what it is or how to reproduce it? Enter "?" and paste them symbol into the repl and it'll tell you what's it's called, the shortcut to make it, what it does, and the equivalent non-symbol function name.
dTal 6y ago
And while not exactly what the parent asked for, the recently released "JuliaMono" font has ligatures for several common combos - including the right arrow - which amounts to practically the same thing: https://juliamono.netlify.app/ https://juliamono.netlify.app/

endgame 6y ago

I've been using Dhall ( https://dhall-lang.org https://dhall-lang.org ) and it does this. But it goes a step further: because `dhall format` defines the canonical form of any dhall code, it does the unicode substitution for you. So you get convenient entry with a normal keyboard, plus nice unicode symbols in code.

lizmat 6y ago
This is something Comma, the IDE for the Raku Programming Language, also does: https://commaide.com https://commaide.com