Re: Incoherence

John Hughes wrote:

What we need is different binding syntax for monomorphic and polymorphic bindings. Roll on := and = ...

If I recall correctly, in some earlier language (KRC?) this difference was achieved by letting let-bindings be polymorphic, and where-bindings be monomorphic. The idea was that where-bindings ONLY encode sharing, i.e., making the term graph structure explicit. I actually like that distinction.... Wolfram