摘要：
错误处理 动态链接 在 Lua 中，动态链接被视为所有其他机制的母机制 因此利用它就可以动态地加载任何其他不在 Lua 中的机制 package.loadlib 所需两个参数 库的完整路径 正确的函数名称 loadlib 函数加载指定的库，并将其链接入 Lua 它没有调用库中的任何函数 而是将一个 阅读全文
摘要：
编译 lua 是解释语言 但 lua 允许在运行源代码前，先将源代码编译为一种中间形式 区别解释语言的主要特征并不在于是否能编译它们 在于编译器是否是语言运行时库的一部分 是否有能力执行动态生成的代码 loadfile 函数 dofile 函数是一种内置的操作，用于运行 lua 代码块 dofile 阅读全文
摘要：
单个字母被称为变量 约束变量：一个变量同时出现在函数体和函数参数中 如 λx.x ，其中 x 同时出现在了 . 字符之前函数参数中和 .字符之后的函数体 解释为：一个参数为 x ，函数体也为 x 的 函数 自由变量：即变量没有在函数体内被预先声明 一行符号被叫做表达式，或者称为λ项，表达式可以包含 阅读全文