Incoherence

[kahl@heraklit.informatik.unibw-muenchen.de]

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