Hacker News 讨论：实现真正的确定性抽象层还缺什么？

Hacker News 上有人提问：能否构建一种开发方式，让实现细节被抽象掉、同一份规格始终产出同一套系统，从而让人理解系统本身而非其实现。提问者认为 LLM 不具备确定性，同一规格可能产出不同实现或细微变体，因此想找到确定性路径以提升开发速度与系统可问责性。讨论聚焦于这样的语言、可视化或构建方法究竟缺什么、能否存在。