Ask HN：真正的确定性抽象层还缺什么？

Hacker News 上有人提问：能否构建一种开发方式，让实现细节被抽象掉、同一份规格始终产出同一套系统，从而让人理解系统本身而非其实现。提问者指出 LLM 并不确定，同一规格可能产生不同实现或细微变体，并追问缺什么才能获得确定性、提升开发速度与可问责性。