首页
注册
登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请
登录
V2EX
›
pragmatwice
›
全部回复第 2 页 / 共 2 页
回复总数
21
1
2
❮
❯
2019-01-30 14:48:17 +08:00
回复了
ChristopherWu
创建的主题
›
程序员
›
请问一下,可以推荐一下基本 PL 知识的科普书籍 or 文章吗?
1. 和你目前看的 SF 同一个作者写的 TaPL (Types and Programming Language),之后还有一本 ATTaPL
2. 上面两本书作者整理的 Great Works in Programming Languages (一堆论文)
3. 不喜欢 Coq ( SF 标配)可以 Haskell -> Agda / Idris,可一看下 Wow-FV-zh / dt-programming-in-agda
* 不给链接的原因是你可以直接 Google 上面的关键词得到链接
* 我也才开始学 QAQ
1
2
❮
❯
关于
·
帮助文档
·
博客
·
API
·
FAQ
·
实用小工具
·
1224 人在线
最高记录 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 10ms ·
UTC 17:31
·
PVG 01:31
·
LAX 10:31
·
JFK 13:31
Developed with
CodeLauncher
♥ Do have faith in what you're doing.