Re:Linguistics and Programming Languages
by neilparikh on Monday July 17, 2017 @01:20PM
(#14790552)
Another related EWD is 667[1]
The paragraph that stuck out to me was: "Instead of regarding the obligation to use formal symbols as a burden, we should regard the convenience of using them as a privilege: thanks to them, school children can learn to do what in earlier days only genius could achieve."
The paragraph that stuck out to me was: "Instead of regarding the obligation to use formal symbols as a burden, we should regard the convenience of using them as a privilege: thanks to them, school children can learn to do what in earlier days only genius could achieve."
[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...