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?

  • $\begingroup$ Combinatory logic is Turing-complete, just like many other programming formalisms. Are two-counter programs relevant to software design? $\endgroup$ – Yuval Filmus Jun 6 '14 at 0:42
  • $\begingroup$ 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 $\endgroup$ – cody Jun 7 '14 at 15:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.