Re:Writing Prettier Haskell with Unicode Syntax and Vim
by jandrese on Thursday June 22, 2023 @11:20PM
(#36442397)
Yeah, but reading novels from those days is also tedious. Doesn't mean they can't be improved.
[ Parent
| on HN ]
Re:Writing Prettier Haskell with Unicode Syntax and Vim
by Skeime on Friday June 23, 2023 @02:43AM
(#36443619)
Sure: And the best way we have found (maybe just so far?) has been to introduce more symbolism. But even today, all guides on good mathematical writing urge you not to go overboard with them; a well-written mathematical text is a reasonable mixture of symbols and prose.
In fact, it’s pretty common for math students to want to use only symbols at some point. What they write becomes unintelligible to everyone else (and maybe even themselves) and at some point they (usually) wise up.