28 Nov
2002
28 Nov
'02
2:24 p.m.
Thanks for the comments. It seems the function is not really needed (at least not predefined), although I use it fairly often.
Read more in
T Uustalu, V Vene. The dual of substitution is redecoration. In K Hammond, S Curtis, eds, Trends in Functional Programming 3, pp 99-110. Intellect, Bristol / Portland, OR, 2002. - .ps.gz, 46K (© Intellect)
http://www.cs.ioc.ee/~tarmo/papers/sfp01-book.ps.gz ,
if you want to be bothered with categorical nonsence ;-)
There's too much mathematics in it, I'm only an engineer... ;-) Thanks, Markus -- Markus Schnell, Infineon Technologies AG