Somebody claiming to be Dominique Devriese wrote:
I would prefer to have dot notation for a general, very tightly-binding reverse application, and the type of the record selector for a field f changed to "forall r t. r { f :: t } => r -> t" instead of "SomeRecordType -> t". Such a general reverse application dot would allow things like "string.toUpper"
If that's even possible, then we do not need the `.` at all, and can just use perfectly normal function application. If people want to create YetAnotherFunctionApplicationOperator, we can't stop them, but no reason to include one (especially that overlaps with an existing, more useful, operator) -- Stephen Paul Weber, @singpolyma See http://singpolyma.net for how I prefer to be contacted edition right joseph