外部精选
软件工程
#开发者实时流Nelumbo 发布：可定义语义并即时运行的逻辑元语言
来源标题：Nelumbo: A new logic meta-language
Nelumbo 是一种新的逻辑元语言，允许用户在定义语言结构和记法的同时，用推理规则定义语言的含义，且语言在编写过程中即可运行。它基于三值逻辑执行推理，第 n 行定义的构造从第 n+1 行起即可用，无需生成器、编译或部署步骤。该工具提供浏览器、VS Code、IntelliJ 和 Eclipse 的实时 IDE 支持，并配有面向 AI 助手的 MCP 服务器。
Hacker News 最新tombrus2026/11/11 · 今天2 分钟阅读
这个来源的 RSS 只提供摘要，下面是原文导语；完整论述请点「打开原文」。
语言工作台让你能定义结构和记法。Nelumbo 走得更远：你还能以推理规则的形式定义语言的含义——而且语言在你仍在书写时就已经运行。
一行模式——Boolean ::= <Person> likes <Person>——新记法便成为一等语法，IDE 支持一并包含。含义以诚实的三值逻辑上的推理规则书写。逻辑是媒介，不是目标：你书写你的领域，引擎负责推理。
Nelumbo 即时执行：在第 n 行定义的构造，从第 n+1 行起即可使用。没有生成器，没有编译步骤，没有部署循环。
语言工作台提供的一切，加上可执行语义——在浏览器、VS Code、IntelliJ 和 Eclipse 中提供实时 IDE 支持，并为 AI 助手提供 MCP 服务器。
本条为导读摘要，完整论述请以原文为准。