1

ラムダ計算では、入力が恒等関数の場合に true を返す関数をどのように記述すればよいでしょうか?

true は、何らかの教会でエンコードされた true の値であると仮定します。

これは書くのが簡単な関数であるように思われます。しかし、私が考えるすべてのテストでは、トリッキーな入力がそれを裏切る可能性があります。無理ですか?

4

1 に答える 1