散列语

第一章：序言

1.1 简介

基于散列算法的工程语，属于人造语言(Conlang)，按“散列”“语言”的词源，意译称“散列语(Hashlingua)”，也昵称为“哈希语”。是一种先验逻辑语言，设计目的是人类可读的宇宙辅助语，类似Lincos。版本还在开发中，故自称暂未计算确定，将来也可以音译自称。

主要设计思想：

从同伦类型论等数理逻辑极少数词根出发，从数学词根定义物理词根、从物理词根定义化学词根等等，形成一个分层词典，以自解析。一个词根的定义展开会非常长，利用有限域上的代数群等代数方法求定义的二进制哈希以压缩它，利用SKI组合子逻辑等方法保证分层求哈希和展开后一次性求哈希相同，保证词根哈希的基于规范的相对先验唯一可复现性。词根的哈希结果较长，但可以基于场合精度要求，根据二的幂的音节数进制，需要念几位念几位，日常对话念的简短精度不高时允许撞哈希，类似自然语言根据语境可以区分。多个词根也可以根据简单的函数应用规则组合成多语素词。

1.2 版权

CC0，无版权，进入公共领域

1.3 作者

微言社区集体，包括Alice, Collin, 冷猫, momo, nemo, Velt, 兴辰等，按首字母排序

附录

冷猫(已去世)提出了哈希(散列)一词

冷猫(已去世)编程写了第一个哈希同余算法

冷猫(已去世)做了编码音系

冷猫(已去世)和Velt和momo讨论了语义上的可能性

兴辰做了哈希换皮器

兴辰做了分类语demo

兴辰对音译表的选字有极大贡献

Velt探索了早期的路径造字

Alice查了汉明距离的论文，写了程序探索造字

nemo和Alice完成了文字符号分类

Alice提出了人均不可识别音位，有了现在的辅音音系

Alice提出了基于开闭音节的音译方法

Alice写了笔顺预测程序，第一次理解了笔顺

nemo和Alice和Collin实现了哈希算法

Alice做了道本散列语demo

Alice和momo完成了十二散列语的下降链

Alice优化了十二散列语的拉丁正字法

momo算出了基于oklab光滑化均匀颜色空间，并在网页上实现颜色散列文

momo做出了十二散列文

北方工业做了八散列文字体

nemo在语法上的贡献是主要的

nemo和Velt在语义上的贡献是主要的