10 Jul
2007
10 Jul
'07
5:54 p.m.
This might be a feasible appropriation of the term "destructor".
On 7/10/07, Bruno Oliveira
On Tue, 10 Jul 2007 10:53:35 +0200 (MEST), Henning Thielemann wrote:
On Tue, 10 Jul 2007, Tony Morris wrote: A foldr without recursion. I use such functions frequently in order to hide constructors of a data type. Does this kind of functions has a common name?
I think they just called "case analysis"; at least that's the terminology used here:
http://www.dcs.st-andrews.ac.uk/~james/RESEARCH/concon.pdf
(See the "treeCase" example in Section 3).