今天在推特碰巧看到张汉东老师在看本书, 于是我也跟风看了一眼. 这本书虽然对于类型系统和数学定义解释的没有诸如 TAPL 之类的详细, 但是确实书中的一些模型和观点都非常符合近几年编程语言普遍的演化方…

缘起 我在写LemonVM的时候, 第一版采取的Rust语言, 当时想着使用Rust语言至少能够保证在写VM的时候至少是内存安全的,但是事实告诉我, 在写这种层面的底层大项目的时候, 想要使用静态检查…