λ 演算(lambda calculus)是一套用于研究函数定义、函数应用和递归的形式系统。 它由阿隆佐·邱奇(Alonzo Church，1903年6月14日－1995年8月11日)和他的学生在20世纪30年代引入。 邱奇运用λ演算在1936年给出判定性问题(Entscheidungsproblem)的一个否定的答案。 这种演算可以用来清晰地定义什么是一个可计算函数。 Lambda ...

1.TeaScriptIDE的主要组成部分和功能为：①代码编辑器：代码编辑，语法着色，改善其可读性。②代码调试器：在输出窗口显示代码运行结果。③相关帮助：提供 TeaScript 内建函数的详细信息。④打包功能：可将编译后的 TeaScript 文件打包成单个可执行文件。⑤保存和恢复：可保存和恢复 TeaScript 最近打开的文件。