2 ms·
Oh god, this. I want a language that as I type, != Gets replaced with a proper ≠ not equals sign and proper symbols for AND, OR, and NOT.
by Pxtl 7y ago
Oh god, this. I want a language that as I type, != Gets replaced with a proper ≠ not equals sign and proper symbols for AND, OR, and NOT.
- PeCaN 7y agoa lot of programming fonts have ligatures for this
- codebje 7y agoCheck out Lean Prover's online editor: https://leanprover.github.io/live/latest/ https://leanprover.github.io/live/latest/ They borrow syntax from LaTeX math-mode to allow symbol entry, such that you can type "\ne" and as soon as you hit the space after the "e", you get ≠ instead. The language plugin for Visual Studio Code does the same thing. Lean Prover's not exactly a programming language, but : def foo (a b : ℕ) : ℕ → ℕ → ℕ := λ a b, a + b Still looks decent. I think it has to be all or nothing though, since if it's optional the odds of getting decent editor support for it is low.
- roywiggins 7y agoUse a ligature font! https://www.hanselman.com/blog/MonospacedProgrammingFontsWithLigatures.aspx https://www.hanselman.com/blog/MonospacedProgrammingFontsWit...
- gunn 7y agoHere you go: https://github.com/tonsky/FiraCode https://github.com/tonsky/FiraCode