ブール演算子とNOT演算子のラムダ計算のプログラミング言語を変えて実装したいと考えました。 これらは次のとおりです。 TRUE = lx.ly. x
FALSE = lx.ly. y
NOT = lx. x FALSE TRUE
それはJavascriptとPythonで行うには些細だが var TRUE = function(x,y){ return x;}
var FALSE = f
fac n = if n < 2 then 1 else n * fac (n-1)
main = do
putStrLn "Enter a number: "
number <- getLine
print $ number >>= fac
if文なしで再帰的階乗関数を書く方法はわかりません。私たちの教授はラムダ計算について何か言っていました。