主要观点:
- Lisp 虽有优势但存在问题,如元编程和普通编程不同,括号等语法不可变且难以回溯修改。
- 介绍认知(Cognition)项目,这是 Matthew Hinton 和作者过去几个月在研究的项目,旨在解决上述问题。
- 阐述裸机认知(Baremetal Cognition)的特性,包括通过分隔符和忽略字符来进行分词等,以实现动态改变分词方式等功能。
- 介绍启动过程(Bootstrapping)的要点,如 falias 系统、分隔符规则等,以及其带来的优势,如能改变分词方式等。
- 讲解“曲柄”(Crank)系统,可设置默认的栈上令牌执行方式,还介绍了元曲柄(Metacrank),能进行更复杂的语法操作。
- 定义了改进的 Stem 方言,包括注释字符等,实现了真正的前缀操作,并通过一系列代码实现了递归引用等功能。
- 定义了 Brainfuck 方言,展示了当前语法轻松定义其他语法的能力,还提到了“方言方言”的概念。
- 探讨了认知在理论方面的一些有趣之处,如在符号 AI 和语法研究中的应用潜力。
关键信息:
- 认知项目的相关信息,如代码仓库地址等。
- 裸机认知的分词等规则,如分隔符、忽略字符等。
- 启动过程中的各种概念和机制,如 falias、分隔符规则等。
- 曲柄和元曲柄系统的功能和用法。
- 改进的 Stem 方言的具体代码和功能。
- Brainfuck 方言的定义和相关代码。
重要细节:
- 认知语言基于后缀,无需提前读取,能动态改变分词方式等。
- 启动过程中通过一系列操作改变分词规则和执行方式。
- 曲柄系统可设置不同的执行环境,元曲柄能更精细地控制语法操作。
- 改进的 Stem 方言中各种字符和操作的定义及作用。
- Brainfuck 方言通过定义特定单词来实现 Brainfuck 语言的功能。
- 提到“方言方言”的概念,可通过特定单词自动定义语法。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。