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 agentultra on Thursday June 22, 2023 @07:13PM (#36440517)
You can go back and read maths texts from before algebra was in common use. Before people had these symbols they had to write out their proofs and derivations using the plain language of their day.

tldr; it’s tedious reading those proofs. And it’s laborious to write them. Such labour limits the thoughts one can have. Once algebra has solidified there was an explosion in the pace and depth of mathematics.

The symbols are there for a good reason.

[ Parent | on HN ]
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.

[ Parent | on HN ]