Re: pattern abstraction

Article View: comp.lang.functional

Article #456

Back to comp.lang.functional Previous Next

#456

From: David Gudeman
Date: Thu, 06 Sep 1990 05:56

17 lines
1027 bytes

In article  <3685@ecs.soton.ac.uk> sra@ecs.soton.ac.uk (Stephen Adams) writes:
]
]If you explicitly curry the first function you break it, but
]you can do this to the second version...
]
]This loss of equivalence under a simple transformation could
]be used as a reason to prohibit repeated identifiers in
]patterns...

Aternatively, you could say that the transformation was done
incorrectly.  If the correct rules were applied for currying, then the
transformation would lead to an equivalent program.
-- 
					David Gudeman
Department of Computer Science
The University of Arizona        gudeman@cs.arizona.edu
Tucson, AZ 85721                 noao!arizona!gudeman

Technical Details

Message-ID: <25041@megaron.cs.arizona.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!asuvax!noao!arizona!gudeman

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!asuvax!noao!arizona!gudeman
From: gudeman@cs.arizona.edu (David Gudeman)
Newsgroups: comp.lang.functional
Subject: Re: pattern abstraction
Message-ID: <25041@megaron.cs.arizona.edu>
Date: 6 Sep 90 05:56:24 GMT
Organization: U of Arizona CS Dept, Tucson
Lines: 17