文件名称：proplazyk:Propeller 的 Lazy K 函数式编程语言的实现
文件大小：70KB
文件格式：ZIP
更新时间：2024-07-12 12:13:56
Scheme
螺旋桨的懒惰 K 的实现 版权所有 2015 Total Spectrum Software, Inc. 根据 MIT 许可条款分发（参见 COPYING.MIT）。 Lazier 编译器的版权归 Ben Rudiak-Gould 所有，并根据 GPL 的条款分发（请参阅 lazier/COPYING）。 介绍 想象一种简单的计算机语言——没有复杂的数据类型，或者根本没有数据类型。 没有变量或副作用。 没有偶数。 该语言是 Lazy K，它是 SKI 组合子演算的一种实现，现在可用于 Propeller。 Lazy K 只有一个操作，函数应用（用反引号表示）和三个内置函数 S、K 和 I（最后一个是多余的，可以认为是语法糖）。 尽管如此，它还是图灵完备的。 发行版中提供了一个从 Scheme 子集到 Lazy K 的翻译器（称为“lazier”）。 语言基础 Lazy K 是一种纯函数式