Quoth Steve Horne <sh006d3...@blueyonder.co.uk>, > 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe