求问，有人懂type theory吗？ - JobHunting版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

JobHunting版 - 求问，有人懂type theory吗？

相关主题
● Amazon phone screen面经	● [合集] 中国人简历太短
● 求问两个关于h1b的奇葩的问题。。。	● 谁能给一个简要的H1B申请过程呀
● 文科New Grad在湾区找工作，能找哪些方面的？	● 电话面试
● 请问OPT期间，part time 的job,可以么？	● 请教简历的course 问题
● 我也来谈找工作的经验 (4) (转载)	● 这句话是什么意思？
● [合集] 昨天的google面试题	● ME phd onsite and powerpoint presentation的问题
● 对想进入工业界朋友的一些建议	● 关于resume和cover letter
● 在大陆如何在美国找到工作？不靠icc!	● 长期提供Bloomberg FSD职位Refer 推荐

相关话题的讨论汇总
话题: 求问话题: theory话题: type

进入JobHunting版参与讨论

1

(共1页)

w****f 发帖数: 684	1 谁能给简要介绍一下？最近不得不学一下。：（
t****a 发帖数: 1212	2 你是说类型论吗，wiki上有介绍，http://en.wikipedia.org/wiki/Type_theory#Relation_to_category_theory 我没看懂。能有人介绍一下吗？【在 w****f 的大作中提到】 : 谁能给简要介绍一下？最近不得不学一下。：（
w****f 发帖数: 684	3 Yes. Same feeling. Read but don't get it. Another book is "Types and Programming Languages" 【在 t****a 的大作中提到】 : 你是说类型论吗，wiki上有介绍，http://en.wikipedia.org/wiki/Type_theory#Relation_to_category_theory : 我没看懂。能有人介绍一下吗？

1

(共1页)

进入JobHunting版参与讨论

相关主题
● 长期提供Bloomberg FSD职位Refer 推荐	● 我也来谈找工作的经验 (4) (转载)
● 可提供微软推荐	● [合集] 昨天的google面试题
● G家求team match	● 对想进入工业界朋友的一些建议
● 上周五Comcast onsite，求祝福外加简要流程	● 在大陆如何在美国找到工作？不靠icc!
● Amazon phone screen面经	● [合集] 中国人简历太短
● 求问两个关于h1b的奇葩的问题。。。	● 谁能给一个简要的H1B申请过程呀
● 文科New Grad在湾区找工作，能找哪些方面的？	● 电话面试
● 请问OPT期间，part time 的job,可以么？	● 请教简历的course 问题

相关话题的讨论汇总
话题: 求问话题: theory话题: type

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)