Mathematica 9 is now available

Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

The Mathematica Programmer: Combinators
Author

Roman Maeder
Organization: Wolfram Research, Inc.
Department: Kernel Technology
Journal / Anthology

The Mathematica Journal
Year: 1995
Volume: 5
Issue: 4
Page range: 35-41
Description

Combinators are an alternative to pure functions. They do not use variables and are, therefore, immune to the scoping problems caused by conflicts of names of formal parameters. We present an introduction to combinatory algebras and show how to convert pure functions into combinators. The implementation of these ideas requires control of the order of substitutions in rewrite rules. We discuss the techniques needed to achieve this control.
Subject

*Applied Mathematics > Computer Science
URL

http://www.mathematica-journal.com/issue/v5i4/columns/maeder/35-41roman.54.mj.pdf