架构作为可执行约束而不是文档 · HackerLangs