如何通过在lambda演算中使用组合子来使lambda函数Fx - >>βF?

时间:2018-06-09 08:01:58

标签: lambda lambda-calculus combinators

我需要制作F,

F x - >>>βF

它说我可以使用两种组合器制作F,但我不能。

是否有使用组合器在lambda中制作某些函数的一般策略?

0 个答案:

没有答案