3 ms·
I'm not following you here. In ML-like languages a b c d is clearcut: it's means (((a b) c) d). No ambiguity whatsoever. Bracha's critique, as usual, is missin
by mafribe 13y ago
I'm not following you here. In ML-like languages a b c d is clearcut: it's means (((a b) c) d). No ambiguity whatsoever.
Bracha's critique, as usual, is missing the point.
- alipang 13y agoAgreed. a b c d is a function applied to three arguments that returns a value. Functions are values, that's the whole point. For some reason it seems parent post would like to specifically indicate the case where a function application results in a value that is specifically not a function? Seem quite strange to me.