How is Combinatory Logic relevant to software design? For example, can one transform programs into CL? If so, how? Does CL provide a canonical representation for programs?
Asked
Active
Viewed 39 times
1
-
Combinatory logic is Turing-complete, just like many other programming formalisms. Are two-counter programs relevant to software design? – Yuval Filmus Jun 06 '14 at 00:42
-
Combinatory logic is relevant to lower levels of representation of programs in compilers. It turns out that combinators, in the absence of variable bindings, are significantly closer to a straightforward implementation in machine language. See e.g. this – cody Jun 07 '14 at 15:03