---

1.3 Loko 的定位 ¶

Scheme 有许多实现。每种已知的实现 编程语言的方法可能都已经在 Scheme 上尝试过了。基本上所有 操作系统和所有类型的机器都有 Scheme 实现。甚至还有 Scheme CPU。有人说 实现比应用还多。而 Loko Scheme 就是这些 实现中的一个。

每个 Scheme 实现都有一些使其独特的特性。以下 是 Loko 的特殊之处：

• Loko 运行在裸金属上（也运行在普通的 Unix 内核之上）。
• Loko 构建静态链接的二进制文件。
• Loko 完全使用 Scheme 和少量汇编编写。
• Loko 的 ABI 与 C 不兼容，并且在任何层面上都不使用 C。
• Loko 的运行时使用基于 Concurrent ML 的并发。
• Loko 同时支持 R⁶RS 和 R⁷RS 库与程序。
• Loko 为 R⁷RS 代码提供了与 R⁶RS 相同的 安全保障。
• Loko 使用硬件进行免费的类型检查（无分支的 car， 等等）。

由于上述某些特点，Loko Scheme 并不适合所有 用例。如果 Loko Scheme 无法用于你的应用程序，还有 大量其他 Scheme 实现可供选择。