Cale Gibbard wrote: (a thoughtful response, thank you) and ...
... field labels can be renamed such that they don't overlap.
Inventing new names is not hard work.
Oh yes it is. I want meaningful names, and if the meaning of two things
is identical, then inventing separate names is hard and
FYI, Chameleon supports a combination of lexically scoped
and partial type annotation. The latest Chameleon version
is a broken (fix on its way). Though, besides the implementation
there's also a concise formal description. See
[July 2005] Lexically Scoped Type Annotations
Hello,
there was some proposal for introducing a special syntax where f x _ z or
f x ? z means \y - f x y z. Is there some information on the Haskell' trac
site about this?
Best wishes,
Wolfgang
___
Haskell-prime mailing list
John Meacham wrote:
On Thu, Mar 02, 2006 at 03:53:45AM -, Claus Reinke wrote:
the problem is that we have somehow conjured up an infinite
type for Mul to recurse on without end! Normally, such infinite
types are ruled out by occurs-checks (unless you are working
with Prolog III;-), so