主要观点：介绍了一种名为 Modal 的树重写系统，包括规则、寄存器、逻辑、打印、数字、循环、类型和列表等方面的内容，还提供了相关示例和资源。
关键信息：

• Modal 程序以一系列替换规则表示，不断修改给定树直到无规则匹配。
• 规则有左右部分，寄存器用于绑定地址，逻辑可通过定义真值表实现。
• 打印事件用特殊寄存器处理，数字用括号包裹的0表示，可通过重写规则实现算术运算。
• 可通过定义结束条件实现循环，类型系统用严格规则实现，列表结构更灵活。
  重要细节：
• 规则测试和匹配方式，如从左到右扫描字符串代表的序列化树。
• 寄存器在模式中的使用及绑定规则。
• 逻辑运算的具体规则示例，如与或非。
• 打印不同类型数据的方式及特殊情况。
• 循环定义的示例及效果。
• 类型守卫的作用及示例。
• 列表相关操作的规则及示例，如反转和查找元素。
  资源：View Sources（Uxntal 源代码）、Discord channel、Levels of Dynamic behavior in Modal，该语言由wryl于 2018 年创作，其研究成果在此呈现。