摘要:
不动点组合子 Y = λf. (λx. f (x x)) (λx. f (x x)) θ = (λx. λy. (y(x x y))) (λx.λy.(y(x x y))) Y f = f (Y f) θ f = f (θ f)设 h1 =λx.f(x x) h2 =λx.λy.(y(x x y)) 阅读全文
摘要:
取5.1的./etc/luavs.bat文件改之,print已内置,无需编译@rem Script to build Lua under "Visual Studio .NET Command Prompt".@rem Do not run from this directory; run it from the toplevel: etc\luavs.bat .@rem It creates lua52.dll, lua52.lib, lua.exe, and luac.exe in src.@rem (contributed by David Manura and Mi 阅读全文