JIDEL — 记述并执行
思维之流的编程语言

研究提案

始于一条蚕的语言

2011年春，侄子的假期作业 — 观察蚕的幼虫

JIDEL 的构想始于 2011 年春，源自侄子假期作业中对蚕幼虫的观察。

连日观察结茧的蚕，设计者看到生命体的行为分为几个层次，其间存在判断的分岔。这一观察化作一份关于行为分类的长久笔记，并长成一个问题 — 为何没有一种语言能不失其结构地记录思想？ 自然语言丰富却无法执行，编程语言可执行却太窄，容不下思想。

开发方向为简化 · 抽象 · 保持一致，其长期角色是成为描述并实验 Neutom Network、BOSIFWEM 与 ECONAS 诸概念的通用工具。

研究提案

五条设计轴

语法与执行模型所立足的五根支柱

JIDEL 的语法与执行模型立于以下五条轴之上。其中，后缀表示法是这门语言的第一印象 — 韩语句子的顺序即执行的顺序。

研究提案

关系导向 — 意义诞生于连接

名词的意义 = 挂在该节点上的边的集束

JIDEL 将概念、数据与代码视为相互连接的关系之网。一个名词的含义，并非写在某处的定义句，而是显现于它与何物、如何相连。

实现方案

代码也是信息 — 从 JIDEL 到 Neutom Network

代码 = 数据 = 信息 · JIDEL 写下的代码，作为信息流入 Neutom Network

JIDEL 将命令、例程、函数的组合当作值来处理 — 以地址（指针）把数据与代码绑为一体，使代码可被比较、求值、组合（代码 = 数据原则）。在此更进一步。以 JIDEL 写就的源代码与中间语言代码（IBC），会原样汇入 Neutom Network 所处理的基本信息的一种。因为在 Neutom Network 的本源信息清单中，与物理、数学、观念、BOSIFWEM 信息并列，「JIDEL 信息」占据一席。代码与数据、信息同为平等公民 — 因而是“一级”。

超越冯·诺依曼 — 迈向更宽松自由的范式

自冯·诺依曼以来，计算长期沿袭着将指令（代码）与数据分开处理的思路。把代码视为数据，即是拆除那道僵硬的边界，转向更宽松自由的编程视角。

这第三条路早有先例 — LISP 早在半个世纪前就以同一结构处理代码与数据（同像性，homoiconicity），首次在冯·诺依曼式的二分法上裂开缝隙。JIDEL 将这一传统拓展至神经网络时代，松开代码、数据、模型之间僵硬的边界，让它们作为同一种信息自由穿行（三者联合）。当程序能把自身乃至其学习模型都当作信息来处理时 — 自我修正、体察己念（元认知）、朝目标改变自身的意志，方才成为可能。

实现方案

Jactor — 扩展了 Actor 的主动对象

具备关系、紧急消息与动态建模的计算单元 · JIDEL 的保留字

思考是一个在心象中移动图像、加以模拟的过程。为此，计算单元必须能自行收发消息，并依情境改变自身结构。Jactor 是 JIDEL 的一个保留字，它扩展了其他语言中的 Actor — 一种独立地异步收发消息、且持有自身状态的计算单元。它在 Actor 之上增添关系、紧急（优先）消息与动态建模，成为能自行缔结关系、优先处理紧急信号、并在运行中改变自身形态的主动对象。

实现方案

六态逻辑 — 让「未知」成为正式的逻辑值

不止真与假两个，而是六个

JIDEL 的逻辑值不是真与假两个，而是六个。关键在于：「未知状态」并非错误，而是正式的逻辑值。

• 正在研究将六种状态连同置信度通道编码于 8 位之中的方案。其布局使得初始化为 0 的值恰好成为无评价（I）。
• 运算通过查找表快速处理，运算律（结合、分配等）则以对全部组合的机器穷举验证来确认。我们做出了对全部 216 万种组合进行穷尽验证的验证器，并通过了 216 项一致性条件。
• 采用哪些规则，以决策清单来管理——目前已列入三十四件，其中十七件确定，其余留作未决。若验证中出现反例，便修正设计。

为何是六个

现实中的判断，比起真/假，更常停留于「尚不知道」「可能是这样也可能是那样」「依据彼此冲突」。若不把这些状态当作错误驱逐，而是当作值来处理，便能把判断的搁置与恢复、确信的累积与降级写进程序。

实现方案

知的螺旋 — 六种状态循行的顺序

始于无评价，归于未知

六种状态并非平铺的清单，而是有着循行的顺序。它始于尚未提问的无评价（I），经过候选重叠的叠加（S），判定为真（T）或假（F），依据彼此冲突便抵达矛盾（P），并由此回到未知（M）。那个未知已不同于起初的无评价——因为它是问过之后所得的未知。

因此这套逻辑不以任何一种状态为终点。确信会累积，也会被降级——出现反例，确信度便下降；一旦想要僭越至究竟之知，它便自行退让。在西方逻辑仅以确定状态运算之处，东方悠久的修养观念作为运算规则进来了。把谦逊内建为计算规则，而非道德训诫——这就是这套设计的基调。

实现方案

相对值运算 — 解读两极之间

极间理论 · 不是「187厘米」，而是「有点高」

人们不会想「那个人身高187厘米」——只会觉得「有点高」。值并非绝对刻度，而是由它落在至今所经历事物的两极（最小·最大）之间何处来确定：(x − min) / (max − min)。而这个位置会因身处哪个群体而改变——同样的187，在篮球队里是「普通」，在别处则是「高」。

待验证假设

谓语框架 — 句子是开启槽位的框架

把名词视为过程，而非值

这是近来的研究方向。将名词视作依条件而求值的过程，而非固定的值；并把句子看作由谓语开启的疑问词槽位的框架。

• 名词的惰性求值 — 名词是〔条件 → 现象〕的惰性求值函数，而引用它的行为即是观测。助词（이/가、을/를、에서……）是附加条件的运算符，句末用言则是求值的扳机。
• 疑问词槽位 — 谁、什么、何时、何地、为何、如何，再加上向谁、用什么、多少、于是等，共十四个槽位构成句子的空缺结构。未被填入的槽位并非错误，而是留作未知（M）值。
• 好奇心引擎 — 正在探索在语言层面支持「寻找并填补空槽位」这一动作的方案。所谓提问，就是把未知的槽位显露于外。

有待验证之处

条件槽位的语法表示、求值时机（即时／延迟／再观测）的控制语法、槽位特征体系的类型化，均尚未定案。这些假设与相对值设计一并纳入决策台账处理。

研究提案

这门语言开启的可能性

在技术规格之外，对使用者与支持者的意义

实现方案

近期目标与定位

文档化，以及一个能运行小型示例的可用解释器

近期目标是：将语法体系与执行语义文档化，并做出一个能真正运行小型示例的可用解释器。

• 核心语法：后缀表示法 · 关系导向表达 · 代码即数据
• 执行模型：基于栈的执行 · 依赖语境的运算 · 相对值处理 · 多值判断
• 实现：最小解释器 · 示例集 · 规格文档 · 逻辑验证器

在整个研究的顺序中，JIDEL 是第一块砖 — 唯有 JIDEL 实现了，才能用它构建 Neutom Network；唯有 BOSIFWEM 理论与 Neutom Network 合流，才能迈向 ECONAS。

研究提案

另请参阅

本页是 JIDEL 设计文档面向访客的摘要。研究记录在研究看板公开。

JIDEL 是在 Forth·Factor 系连接型语言，以及 C、Python、Prolog、Lisp 等多种语言的影响之上，再加入韩语语法论与多值逻辑研究而设计的。