作者以一名多年深耕内存安全的工程师（曾领导 Google 的 Rust 团队）身份，邀请读者重新回到编程语言的形式语义这一科学。他把「语言只是告诉计算机做什么的工具」这种隐喻视为对理解真正的阻碍。文章介绍了形式语义的三大路径——操作语义、指称语义、公理语义——并指出它们分别对应开发者早已直觉掌握的解释器、编译器与断言，而正是这些严格的语义论证，才是让编译器与库正确且安全的根基。