News for hackers. Stuff that matters.

A comment on Writing Prettier Haskell with Unicode Syntax and Vim. Parent comment

Re:Writing Prettier Haskell with Unicode Syntax and Vim by gleenn on Thursday June 22, 2023 @02:42PM (#36436822)
Agree, there is definitely a trade-off, I certainly don't know how to input those characters quickly even if the author states it is faster in Vim and I am not a Vim newbie. Also, if you get a stacktrace in a log file, do they still print nicely? Do they still print nicely if I'm viewing that stacktrace on a build server's web interface? There are probably some number of utilities that this code is "viewed" by that don't correctly handle non-ascii unicode and the usability would suffer at the expense of the beauty/terseness. They do look pretty though.
[ Parent | on HN ]
Re:Writing Prettier Haskell with Unicode Syntax and Vim by WJW on Thursday June 22, 2023 @05:02PM (#36438953)
Well the article mentions Ctrl-k+FA to put in the ∀ symbol, but it should be fairly easy to make it output "forall" instead and then use the concealing feature to turn it into ∀. That would get you the best of both worlds, no?
[ Parent | on HN ]
Re:Writing Prettier Haskell with Unicode Syntax and Vim by OkayPhysicist on Thursday June 22, 2023 @05:13PM (#36439101)
Honestly, I would have had this concern ~10 years ago, but it's 2023. Unicode is ubiquitous, to the point that you'd need to pretty aggressively go out of your way to find things breaking due to it.
[ Parent | on HN ]
Re:Writing Prettier Haskell with Unicode Syntax and Vim by cryptonector on Thursday June 22, 2023 @05:46PM (#36439507)
Roboto Mono doesn't support all the math glyphs, even some of the ones TFA uses: https://news.ycombinator.com/item?id=36438765
[ Parent | on HN ]
Re:Writing Prettier Haskell with Unicode Syntax and Vim by jcparkyn on Friday June 23, 2023 @04:12AM (#36444149)
It's still much more annoying than it should be to input Unicode characters in most operating systems and text editors, though.
[ Parent | on HN ]
Re:Writing Prettier Haskell with Unicode Syntax and Vim by bPspGiJT8Y on Friday June 23, 2023 @03:29PM (#36451200)
I agree, in Kitty I'd have to hit C-S-u and then type fora... to get ∀. Good thing I can just type forall and the formatter replaces the keyword with the symbol for me :) Same for transforming othey symbols, like :: and =>, <=, ->, <- into single characters.
[ Parent | on HN ]