labspc

Tag: programming-languages

3 items with this tag.

  • Nov 30, 2023

    PLT 入门:语言设计、类型系统与函数式编程的初识

    • programming-languages
    • type-systems
    • functional-programming
    • racket
    • pl-theory
  • Nov 03, 2023

    类型系统与编程语言:TAPL 读书笔记与思考

    • type-systems
    • programming-languages
    • formal-semantics
    • type-theory
    • programming-abstraction
  • Apr 22, 2023

    Why Learn C: 工程视角下的语言哲学与系统思维

    • c
    • system-programming
    • programming-languages
    • computer-science
    • low-level-programming

Lambert 的卡片盒:一座写给自己的数字花园,埋下技术与生活的种子,也采撷灵感与疑问的微光。
主页 • 标签云 • 图片库 • 外链监测 • RSS 管理 • LLMs 使用声明
Created with Zettelk v6.0-0901
© 2025 labspc
感谢您的访问