t*****n
发帖数: 1589 | 1 category thoery的之类的，偏计算机科学的，谢谢 |
a*****e
发帖数: 1700 | 2 推荐 Bob Harper 的新书 Practical Foundations for Programming Languages，免费
版：
https://www.cs.cmu.edu/~rwh/plbook/book.pdf
Category theory 离 PL 还是远了一点，除非你搞 recursion scheme 什么的。大多数
category 其实仅对应 idealized 的语言里的概念，比如 Haskell 里通常假定的
Hask category 其实并不存在。
【在 t*****n 的大作中提到】
: category thoery的之类的，偏计算机科学的，谢谢
|
t*****n
发帖数: 1589 | 3 category thoery的之类的，偏计算机科学的，谢谢 |
a*****e
发帖数: 1700 | 4 推荐 Bob Harper 的新书 Practical Foundations for Programming Languages，免费
版：
https://www.cs.cmu.edu/~rwh/plbook/book.pdf
Category theory 离 PL 还是远了一点，除非你搞 recursion scheme 什么的。大多数
category 其实仅对应 idealized 的语言里的概念，比如 Haskell 里通常假定的
Hask category 其实并不存在。
【在 t*****n 的大作中提到】
: category thoery的之类的，偏计算机科学的，谢谢
|
t*****n
发帖数: 1589 | 5 thanks a lot. just read for recreational purpose, not expecting it to be
useful.
【在 a*****e 的大作中提到】
: 推荐 Bob Harper 的新书 Practical Foundations for Programming Languages，免费
: 版：
: https://www.cs.cmu.edu/~rwh/plbook/book.pdf
: Category theory 离 PL 还是远了一点，除非你搞 recursion scheme 什么的。大多数
: category 其实仅对应 idealized 的语言里的概念，比如 Haskell 里通常假定的
: Hask category 其实并不存在。
|
s***3
发帖数: 42 | 6 考几次试就爽了...
不过自学做几个证明题还挺有意思的。我们的textbook是Sipser的。 |
a*****e
发帖数: 1700 | 7 Theory of Computation? 和 formal language 不沾边吧
【在 s***3 的大作中提到】
: 考几次试就爽了...
: 不过自学做几个证明题还挺有意思的。我们的textbook是Sipser的。
|
