请问HN：关于构建编程语言的最佳书籍推荐
我一直在思考为人工智能时代构建一种语言的想法。<p>以下是我希望包含的一些特性（并不是详尽无遗的列表）：
- 将副作用的完整代码与纯逻辑分开
- 将状态与代码分开
- 原生的人工智能调试器
- 原生的确定性模拟测试
- 编码证明
- 明确的类型系统
- 交互式解释器（REPL）
- WebAssembly 目标<p>我没有编译器构建或类似领域的背景。我只是想花几周时间阅读关于这个主题的最佳资源。<p>请分享您推荐的任何阅读资料。
查看原文
I have this long thought about building a language for the age of ai.<p>Here is a non-exhaustive list of features i would love to have it included:
- separate effect full code from pure logic
- separate state and code
- ai native debugger
- native deterministic simulation testing
- coding proofs
- explicit type system
- repl
- wasm target<p>I have no background in compiler building or similar. I would just like to spend some weeks reading the best resource about this topic.<p>Please share any resource you recommend reading.