Home Sign Up Sign In
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
9ki
V2EX  ›  程序员

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

  •   
  •   9ki · Dec 22, 2018 · 4046 views
    This topic created in 2786 days ago, the information mentioned may be changed or developed.
  • type
  • system
  • 书籍
  • 类型
    2 replies  •  2018-12-22 20:51:30 +08:00
    secondwtq
        1
    secondwtq  
       Dec 22, 2018   ❤️ 5
    A path to enlightenment in Programming Language Theory

    https://steshaw.org/plt/
    agagega
        2
    agagega  
       Dec 22, 2018 via iPad   ❤️ 1
    Types and Programming Languages，MIT Press 那个，好像还有本进阶版
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   2573 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 25ms · UTC 15:41 · PVG 23:41 · LAX 08:41 · JFK 11:41
    ♥ Do have faith in what you're doing.