30 Jan
2012
30 Jan
'12
10:25 a.m.
Quoth Steve Horne
On 30/01/2012 07:09, Donn Cave wrote:
((separate . crack . .smallEnd) egg).yolk (f egg).yolk where f = separate . crack . .smallEnd
Scary - that ".smallEnd" worries me. It's like a field is being referenced with some magical context from nowhere.
Obviously I need to read that full proposal.
As I said:
(assuming for the sake of discussion a functional dot notation .field = \ r -> r.field)
By that, I meant to say that I just made that up. I am sure that various proposals have made some notational provision for `\ r -> r.field', but it may or may not be `.field', I don't recall. But that's all the magic there is to it. Either you have a notational shorthand for it, or you're obliged to write out `\ r -> r.field' Donn