TerrorJack 最近的时间轴更新 TerrorJack 最近的时间轴更新TerrorJack's repos on GitHub
Haskell · 22 人关注
erumpo
Just a prototype, but will be improved soon.
C++ · 8 人关注
direct-rocksdb
Haskell Bindings to RocksDB.
Haskell · 6 人关注
cabal-toolkit
Helper functions for writing custom Setup.hs scripts.
Haskell · 5 人关注
Cabal-playground
Logs the input & output of Cabal hooks. Useful for debugging Cabal build process.
Haskell · 4 人关注
fast-record
Fast anonymous records in Haskell.
Haskell · 4 人关注
fp-talk-code-demo
Haskell · 3 人关注
easy-ffi
Cross-platform FFI toolkit.
Haskell · 2 人关注
anubis
Haskell · 2 人关注
baidupcs
Haskell bindings to Baidu PCS(Personal Cloud Storage). Created for one sole purpose: moving stuff out before Baidu is broke
Haskell · 2 人关注
encoding-io
Encoding-aware file I/O operations.
Haskell · 1 人关注
blockcat
1 人关注
circleci-nproc
Haskell · 1 人关注
escodegen
Parser/generator of ECMAScript, backed by esprima/escodegen on Node.js
Haskell · 0 人关注
aeson
A fast Haskell JSON library
0 人关注
atomic-counter
0 人关注
awesome-wasm-langs
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
0 人关注
bifunctors
JavaScript · 0 人关注
binaryen.js
A buildbot for binaryen.js, a port of Binaryen to the Web, with TypeScript support.
CSS · 0 人关注
blog
Programs, scripts & raw posts for my blog at https://terrorjack.com
Haskell · 0 人关注
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
C · 0 人关注
cabal-configure-pwd-issue-repro
Shell · 0 人关注
chromebox
0 人关注
clock
High-resolution clock functions: monotonic, realtime, cputime.
Haskell · 0 人关注
cmm-prof-bug-repro
0 人关注
criterion
Scala · 0 人关注
DeepLearning.scala
A simple language for creating complex neural networks
CSS · 0 人关注
DeepLearning.scala-website
Deep Learning tutorial for DeepLearning.scala
0 人关注
directory
Platform-independent library for basic file system operations
JavaScript · 0 人关注
dokudenpa-client
0 人关注
free
 |
TerrorJackV2EX 第 101434 号会员，加入于 2015-03-01 10:34:48 +08:00 |
cafe2code
TerrorJack
TerrorJack 最近回复了
2019-01-30 16:37:40 +08:00 回复了 ChristopherWu 创建的主题 › 程序员 › 请问一下，可以推荐一下基本 PL 知识的科普书籍 or 文章吗？ |
想得起来的几本书瞎扯一下：
## 侧重代码实现
Types and Programming Languages：从最简单的无类型 lambda calculus 讲到 System F，有 OCaml 代码示例和习题，难度适中。
Software Foundations：全程使用 Coq 代码进行讲解。习惯边看书边敲代码来实现的话推荐这本。
Essentials of Programming Languages：全程使用 Scheme 代码讲解，看完以后会写很多有趣的解释器。这本书是 Daniel Friedman 作品，他还有 The Little XX 系列，问答式的文风简直是写给小朋友看的，可能会有人喜欢。。
## 侧重数学理论
Type Theory and Formal Proof：讲的形式系统比 TAPL 更多（包含 dependent types ），侧重点不在于代码实现和为编程服务，而在于将 Type Theory 作为数学形式化的 building blocks。这书有中译本，不过建议看原文。。
Practical Foundations for Programming Languages：Robert Harper 的作品，比 TAPL 硬核许多，介绍的语言特性和形式系统比 TAPL 覆盖更为全面。看过其他教材以后不妨挑战一下这本。
## 侧重代码实现
Types and Programming Languages：从最简单的无类型 lambda calculus 讲到 System F，有 OCaml 代码示例和习题，难度适中。
Software Foundations：全程使用 Coq 代码进行讲解。习惯边看书边敲代码来实现的话推荐这本。
Essentials of Programming Languages：全程使用 Scheme 代码讲解，看完以后会写很多有趣的解释器。这本书是 Daniel Friedman 作品，他还有 The Little XX 系列，问答式的文风简直是写给小朋友看的，可能会有人喜欢。。
## 侧重数学理论
Type Theory and Formal Proof：讲的形式系统比 TAPL 更多（包含 dependent types ），侧重点不在于代码实现和为编程服务，而在于将 Type Theory 作为数学形式化的 building blocks。这书有中译本，不过建议看原文。。
Practical Foundations for Programming Languages：Robert Harper 的作品，比 TAPL 硬核许多，介绍的语言特性和形式系统比 TAPL 覆盖更为全面。看过其他教材以后不妨挑战一下这本。
Select Language