Re: dependent and independent intervals
Guillaume, P1788
On 19 Feb 2013, at 22:38, Guillaume Melquiond wrote:
> But in the end, is it
> really worth standardizing a new representation for intervals, which
> integrates a marker, just in case someone wants to infer implicit
> expressions from user code?
No, I hope. K.I.S.S.
Guillaume has shown the multiple cans of worms opened by my suggestion on the meaning of expressions. I withdraw it and hope we can re-close the cans.
Meanwhile I ponder referential transparency, and wonder if there is a simpler way to express what I'm after.
John Pryce