| |
| | [No title] (Site not responding. Last check: 2007-10-30) |
 | | Since the expression "*[A][B]" in Iota means the same thing as "AB" in CL (namely, functional application in which the meaning of A is applied as a function to the meaning of B), we need only establish the appropriateness of the translations of the lexical items I, K, and S. |
 | | In addition, it is easy to find a meaning-preserving mapping from Iota into CL: the semantics in the definition for Iota are given as a mapping from Iota to the lambda calculus, and there are well-known techniques for mapping the lambda calculus into CL (see, e.g., Hankin or the Unlambda page for details). |
 | | And since Iota (unlike most practical programming languages) does not produce any output, it can be difficult to verify that the program is behaving as expected. |
| ling.ucsd.edu /~barker/Iota (1825 words) |
|