主要观点：

• 此页面版权属于[John N. Shutt]，2004 - 2012 年及 2015 - 2021 年，有相关使用许可说明，最近修改于 24 日 - 1 月 - 21 日。
• 正在开发名为 Kernel 的编程语言，它是保守的类似 Scheme 的 Lisp 方言，一切皆为一等对象，但 Scheme 中特殊形式组合子为二等对象。
• Kernel 消除了经典 lambda 构造函数的非正交性问题，将其分为两个正交部分，一个是一等操作符的构造器。
• Kernel 还有其他特性，如统一复合定义体、延续保护、键控动态变量、封装类型、统一处理循环列表等。
• 关于 Kernel 的《修订 -1 报告》有 pdf 和 gzipped postscript 版本。
• 理论方面主要资源是博士论文，还在 NEPLS 做过相关报告，纯 vau - 演算在 Kernel 报告附录 C 中有描述。
• 如今可在 Manuel Simoni 的《The Axis of Eval》博客中找到 Kernel 的实现，作者曾有自己的伪原型实现 SINK。

关键信息：

• 页面版权信息及修改时间。
• Kernel 语言的特点及与 Scheme 的区别。
• Kernel 消除非正交性的方式。
• Kernel 的其他特性。
• 相关报告的获取形式。
• 理论资源及报告相关内容。
• 目前 Kernel 实现的地点及作者曾有的实现 SINK。

重要细节：

• 特殊形式组合子在 Scheme 中为二等对象。
• Kernel 构造一等操作符的原始构造器是 $vau ，构造应用器的是 wrap 等。
• 其他特性如统一复合定义体可消除多值返回动机等。
• 纯 vau - 演算在特定报告附录中有描述。
• SINK 是作者的伪原型实现，存在一些不足且可能已损坏。