首页 注册 登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
9ki
V2EX  ›  程序员

v 友们求推荐深入学习 类型系统 (type system) 的书籍吗

  •   
  •   9ki · 2018-12-22 17:35:09 +08:00 · 3284 次点击
    这是一个创建于 2164 天前的主题，其中的信息可能已经有所发展或是发生改变。
  • type
  • system
  • 书籍
  • 类型
    2 条回复  •  2018-12-22 20:51:30 +08:00
    secondwtq
        1
    secondwtq  
       2018-12-22 17:44:38 +08:00   ❤️ 5
    A path to enlightenment in Programming Language Theory

    https://steshaw.org/plt/
    agagega
        2
    agagega  
       2018-12-22 20:51:30 +08:00 via iPad   ❤️ 1
    Types and Programming Languages，MIT Press 那个，好像还有本进阶版
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2744 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 22ms · UTC 10:12 · PVG 18:12 · LAX 02:12 · JFK 05:12
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.