17 Dec
2019
17 Dec
'19
6:21 a.m.
Hi, Am Dienstag, den 17.12.2019, 10:39 +0000 schrieb Richard Eisenberg:
How do you feel about `f x_y` vs `f x _y`? We have no trouble accepting that whitespace is significant there.
or even `f x'y` vs. `f x 'y`!
If we accept that `.` is part of the construction of a token, then this is all very natural. Somehow, we read `_` this way. If we view `.` as something else, then it's much harder.
I find that argument not very strong. Clearly f_x or f'x is one atomic token on a very different level than f.x is a token. Of course, I am sure I’ll as quickly adapt to parsing `f r.x` as `f (r.x)` as I did parsing `f r{x=1}` as `f (r {x=1})`. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/