Re: pattern abstraction

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by David Gudeman Thu, 06 Sep 1990 05:56

#456

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads