lambda-m:一种懒惰且无类型的实验编程语言

λ中号 指数 介绍 λM是懒惰和无类型的实验程序语言具有非常小的内核（以下，称为内核语言）。 该项目于2018年夏季创建，是应用科学大学的“内核语言”模块的一部分。 动机 任何已经使用诸如或之类的串联编程语言工作的人都知道其元编程能力所具有的通用性。 在这些语言中，可以使用自身重新定义整个语言，从而导致非常小的内核实现。 此外，在不牺牲表现力的情况下这是可能的。 原始形式的lambda演算也是一种内核语言。 但是，它缺少反思和改变自身的能力。 反过来，这意味着λ演算的表达能力非常有限。 λM的目标是解决这个问题的限制。 语言语法 term = let | data | macro | abs ; let = "let", bindings, "in", term ; bindings = binding, { ",", binding } ; binding = app, "=",