有没有formal language的书推荐 - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Programming - 葵花宝典

有没有formal language的书推荐

有没有formal language的书推荐# Programming - 葵花宝典

w*a2015-10-25 07:10

1 楼

申请表要填working references，能填现在老板吗？可是不想让现在老板知道啊，那就
没别人了，怎么办？谢谢

I*t2015-10-25 07:10

2 楼

特别容易坏，用了还不到一年，昨天死活不工作了。

t*n2015-10-25 07:10

3 楼

category thoery的之类的，偏计算机科学的，谢谢

f*n2015-10-25 07:10

4 楼

friends, former coworkers, neighbors......

【在 w**********a 的大作中提到】

: 申请表要填working references，能填现在老板吗？可是不想让现在老板知道啊，那就
: 没别人了，怎么办？谢谢

I*t2015-10-25 07:10

5 楼

买了这个：
http://www.amazon.com/Griffin-Power-Block-Micro-iPhone/dp/B003T

a*e2015-10-25 07:10

6 楼

推荐 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的之类的，偏计算机科学的，谢谢

c*r2015-10-25 07:10

7 楼

不要填，对方会理解的。
如果对方一定要填，可以写明不希望公司联系此人。理由很简单，不希望老板知道我在
找工作。

I*t2015-10-25 07:10

8 楼

t*n2015-10-25 07:10

9 楼

category thoery的之类的，偏计算机科学的，谢谢

a*e2015-10-25 07:10

10 楼

: category thoery的之类的，偏计算机科学的，谢谢

t*n2015-10-25 07:10

11 楼

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 其实并不存在。