My language design is bad and I should feel bad [entries|reading|network|archive]
simont

[ userinfo | dreamwidth userinfo ]
[ archive | journal archive ]

Mon 2017-02-20 20:09
My language design is bad and I should feel bad
LinkReply
[personal profile] andrewduckerTue 2017-02-21 09:04

Huzzah for rationalisation!

Question for you - if you came upon a blackboard which had written on it "a(stuff)", how would you know if the original writer had meant to multiply the two or perform a on stuff? Or is this something which is imprecise because it's imprecise when mathematicians write in by hand?

Link Reply to this | Thread
[personal profile] simontTue 2017-02-21 09:13

Or is this something which is imprecise because it's imprecise when mathematicians write in by hand?

It's exactly that. In fact I remember Feynman complaining about it in Surely You're Joking – he invented his own idiosyncratic notation for a lot of maths which didn't have all those ambiguities in which f(x) looks like f times x and dy/dx tempts you to cancel the ds. (And naturally he got used to using this in his own jottings, and then used it in front of someone else, who got completely confused, at which point he realised that maths notation is actually for communicating with other people and so he'd have to go back to the substandard normal notation after all.)

Some of the alternatives he described looked quite sensible, but others made me think he hadn't thought enough about futureproofing. For example, he had replacement notations for trig functions which looked like square root-type symbols, with a bar extending over the entire argument of the function. That's fine as far as it goes, but one's first question is 'OK, now how do you plan to extend this to an open-ended set of further mathematical functions that people will end up needing to use?' It's all very well if sin, cos and tan are the only things you'll ever need to do this to, but in practice you've now replaced the problem of picking a different word for each function with the much hairier one of picking a recognisably different symbol. (And then getting them all into Unicode / LaTeX / whatever...)

(Aww – I'd never looked before, but naturally someone has tried to implement Feynman's notation in TeX :-)

Link Reply to this | Parent
navigation
[ go | Previous Entry | Next Entry ]
[ add | to Memories ]