最新

我最近在阅读柏拉图的文本，并学习一些古希腊语，产生了一个无用的思想实验：如果在公元四世纪的雅典条件下，编程语言会是什么样子？ “Εἶδος”（Eidos — “形式”）是一个结果。这是一种名为“Λόγος”的声明式语言，在这种语言中，你并不是执行代码，而是声明存在的事物。形式属于种类，形式提供证据。对应法则将请求映射到答案上。没有循环，没有条件语句，没有状态变更。这种语言故意不是图灵完备的，符合柏拉图对“apeiron”（无限）的拒绝。 它管理着一个真实的HTTP服务器（Ἱστός），在这里，路由不是通过分支匹配的，而是被识别为形式，并根据法则作出回应。一个未被识别的路径返回“οὐκ ἔστιν”（“不存在”）——这不是一个错误，而是一个本体论的声明。 该项目包括一个解析器，它识别而不是执行，静态验证以哲学命题的形式表达（整体性、一致性、良构性）、Graphviz本体图，以及一个苏格拉底辩证法生成器，通过四个阶段的反驳法来审视规范。 Jupyter笔记本以交互方式逐步演示所有内容——从解析多音节希腊语规范，到向实时服务器请求，再到观看苏格拉底对本体的质询。 <a href="https://github.com/realadeel/eidos" rel="nofollow">https://github.com/realadeel/eidos</a>