Lean

Lean是一种函数式编程语言，它使编写正确和可维护的代码变得容易。 和可维护的代码。你也可以把Lean作为一个交互式定理验证器。 精益编程主要涉及定义类型和函数。这使得 你的注意力仍然集中在问题域和操作数据上，而不是编程的细节。 而不是编程的细节。