John Hughes : > > Everybody agrees the monomorphism restriction is a pain: ... > So, let's make it visible, in the simplest possible way. Let there be TWO > forms of binding: x = e, and x := e (say). A binding of the form `x = e' is > interpreted using call-by-name, and may of course be overloaded: ... Can somebody comment on the relation between this, and the protocols used in Concurrent Clean (with their =, =>, and =:)? Jerzy Karczmarczuk Caen, France.
