问 HN：构建编程语言的最佳书籍
3 分•作者: ezzato•4 个月前
我一直在思考为人工智能时代构建一门语言。<p>以下是我希望这门语言具备的一些特性（非详尽列表）：
- 将具有副作用的代码与纯逻辑分离
- 将状态与代码分离
- 针对人工智能的原生调试器
- 原生确定性模拟测试
- 代码证明
- 显式类型系统
- REPL（交互式解释器）
- WASM 目标平台<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.