Concepts in Programming Languages.pdf
Concepts in Programming Languages by John Mitchell.一本国外经典教材，看了之后对编程语言更加理解。费了很多劲才找到的。Concepts in Programming LanguagesThis textbook for undergraduate and beginning graduate students explains and examines the central concepts used in modern programminglanguages, such as functions, types, memory management, and controlThe book is unique in its comprehensive presentation and comparisonof major object-oriented programming languages. Separate chapters ex-amine the history of objects, Simula and Smalltalk, and the prominentanguages c++ and JavaThe author presents foundational topics, such as lambda calculus anddenotational semantics, in an easy-to-read, informal style, focusing on themain insights provided by these theories. Advanced topics include concurrency and concurrent object-oriented programming. A chapter on logicprogramming illustrates the importance of specialized programming meth-ods for certain kinds of problemsThis book will give the reader a better understanding of the issuesand trade-offs that arise in programming language design and a betterappreciation of the advantages and pitfalls of the programming languagesthey useJohn C. mitchell is Professor of Computer Science at Stanford University,where he has been a popular teacher for more than a decade. Many of hisformer students are successful in research and private industry. He received his ph D. from mit in 1984 and was a member of technical staff atat&T Bell Laboratories before joining the faculty at Stanford. Over thepast twenty years, Mitchell has been a featured speaker at internationalconferences; has led research projects on a variety of topics, includingprogramming language design and analysis, computer security, and applications of mathematical logic to computer science; and has written morethan 100 research articles. His previous textbook, Foundations for Pro-gramming Languages(MIT Press, 1996), covers lambda calculus, typesystems, logic for program verification, and mathematical semantics ofprogramming languages. Professor Mitchell was a member of the programming language subcommittee of the ACM/ieEE Curriculum 2001standardization effort and the 2002 Program Chair of the aCm principlesof programming languages conferenceCONCEPTS NPROGRAMMINGLANGUAGESJohn c. mitchellStanford UniversityCAMBRIDGEUNIVERSITY PRESSPUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGEThe Pitt Building, Trumpington Street, Cambridge, United KingdomCAMBRIDGE UNIVERSITY PRESSThe Edinburgh Building, Cambridge CB2 2RU, UK40 West 20th Street, New York, NY 10011-4211 USA477 Williamstown Road, Port Melbourne vic 3207, AustraliaRuiz de alarcon 13, 28014 Madrid, spainDock House, The Waterfront, Cape Town 8001, South Africahttp://www.cambridge.orgo Cambridge university press 2004First published in printed format 2002isBN 0-511-03492-X eBook(adobe readerISBN 0-521-78098-5 hardbackContentsPrefacepage IxPart 1 functions and foundations1 Introduction1.1 Programming Languages1.2 Goals1.3 Programming Language History3561.4 Organization: Concepts and Languages2 Computability2. 1 Partial Functions and computability102.2 Chapter SummaryExercises163 Lisp: Functions, Recursion, and Lists3.1 Lisp History183.2 Good Language design203. 3 Brief Language overview223.4 Innovations in the Design of Lisp253.5 Chapter Summary: Contributions of LispExercises404 Fundamentals484.1 Compilers and syntax484.2 Lambda calculus4.3 Denotational semantics4.4 Functional and Imperative Languages4.5 Chapter SummaryExercisesContentsPart 2 Procedures, Types, Memory Management, and Control5 The algol Family and ML5.1 The Algol Family of Programming Languages5.2 The Development of C5.3 The LCF System and ml5.4 The Ml Programming Language1035.5 Chapter summary121Exercises1226 Type Systems and Type Inference1296.1 Types in Programming1296.2 Type Safety and Type Checking1326.3 Type Inference1356.4 Polymorphism and Overloadin1456.5 Type Declarations and Type Equality1516.6 Chapter Summary155Exercises1567 Scope, Functions, and storage Management1627.1 Block-Structured Languages1627.2 In-Line blocks1657.3 Functions and procedures1707.4 Higher-Order functions1827.5 Chapter summary190Exercises1918 Control in Sequential Languages2048.1 Structured control2048.2 Exceptions2078.3 Continuations2188.4 Functions and evaluation order2238.5 Chapter summary227Exercises8Part 3 Modularity, Abstraction, and object-Oriented Programming9 Data Abstraction and Modularity2359.1 Structured Programming2359.2 Language Support for Abstraction2429.3 Modules9.4 Generic Abstractions2599.5 Chapter Summary269Exercises27110 Concepts in Object-Oriented Languages27710.1 Object-Oriented design27710.2 Four Basic concepts in object-Oriented languages278Contents10.3 Program Structure28810.4 Design Patterns29010.5 Chapter summary29210.6 Looking Forward: Simula, SmalltalkC++Java293Exercises29411 History of objects: Simula and smalltalk30011.1 Origin of Objects in Simula30011.2 Objects in Simula30311.3 Subclasses and Subtypes in Simula30811.4 Development of smalltalk31011.5 Smalltalk Language features31211.6 Smalltalk flexibilit31811.7 Relationship between Subtyping andInheritance2211.8 Chapter SummaryExercises32712 objects and Run-Time Efficiency: C++33712.1 Design goals and Constraints33712.2 Overview of c++34012.3 Classes. Inheritance and Virtual functions34612.4 Subtyping35512.5 Multiple inheritance12.6 Chapter summary366Exercises36713 Portability and Safety: Java38413.1 Java language overview38613.2 Java Classes and Inheritance38913.3 Java Types and Subtyping39613.4 Java System architecture40413.5 Security Features41213.6 Java summary417Exercises420Part 4 Concurrency and Logic Programming14 Concurrent and Distributed Programming43114.1 Basic Concepts in Concurrency43314.2 The actor model44114.3 Concurrent ML14.4 Java concurrency45414.5 Chapter Summary466Exercises469Contents15 The Logic Programming Paradigm and Prolog47515. 1 History of logic Programming15.2 Brief Overview of the logic Programming Paradigm4715. 3 Equations solved by Unification as Atomic Actions15.4 Clauses as Parts of procedure declarations48215.5 Prologs Approach to Programming48615.6 Arithmetic in Prolog49215.7 Control, Ambivalent Syntax, and Meta-Variables49615.8 Assessment of Prolog50515.9 Bibliographic remarks50715.10 Chapter Summary507Appendix a Additional Program Examples509A 1 Procedural and Object-Oriented organization509Glossary521Index525
- 2020-12-09下载
- 积分：1
程序员必读的职业生涯规划书【精品】.pdf
程序员是一种逻辑动物，只有当他们理解求职到底是一种什么行为以后，才能做出有意义的行动。 所以本书不讲职场、不灌鸡汤，从价值论开始，以独创的职业画布工具展开，从四大象限、九大方面为你讲解。 有果更有因、有理更有据，分析数据、简历模板、书写工具、技能树图一应俱全，实为程序员们应该人手一本的职业规划书。原理篇我之所以会去研究求职,以至于最后在人才这个方向创业,很大程度上是因为以前所有的求职指导都是经验论,缺乏逻辑性。而程序员是一种逻辑动物,只有当他们理解求职到底是一种什么行为以后,才能做出有意义的行动。我花了很久去寻找背后的理论支持,直到我重逢了价值论。原理篇从价值理论开始,讲述我们求职行为的本质。价值论人才的使用价值供需信息透明度交薪资换雇主价值自从中国转冋市场经济以后,市场规则就开始左右一切。虽然人才不完全等同于其他物品,但现在先让我们把人才也作为一类商品来看待。使用价值除了我们这些做人力资源相关行业的公司外,绝大部分公司购买人才都是为了使用,所以他们看中的是其使用价值。这个使用价值说得更直白一点,就是人才如何直接或者间接的为公司挣钱。使用价值不是独立存在的,而是相对于使用者存在。所以我们程序员自己的价值,也是相对于公司而言的。有同学说,我技术很好啊,又会机器学习又会编译原理,凭什么那些写 Javascript的薪水比我高一倍?谁让你在一家建站公司上班呢。对一家做网站的公司而言,机器学习和编译原理是不能为它带来收益的,而 Javascript写成的带有完美动画的交互组件却能实实在在的拉升公司产品的销售。而同样是这个人,如果他去一家以大数据分析为核心业务的公司工作,那么他的价值就不样了。所以你的价值,和你牛不牛无关,只和你能为你的雇主提供多少价值有关。(当然,大多数情况下,你能力越牛越能提供更多价值。)这是最根本的规则。增加自己的使用价值很简单,提升自己的业务能力就好。供需有个80后自嘲的段子是这么说的读小学时,大学不要钱;读大学时,小学不要钱;还没工作时,工作是分配的;可以工作时,得自谋职业;没挣钱时,房子是分配的;能挣钱时,发现一辈子的薪水也买不起房子。我不知道国内人才市场是什么时侯市场化的,就算成悲催的80后开始工作时吧。人才市场化意味着你有了选择公司的权利,同时也意味着公司有了选择你的权利。这个时候,交换价值就出来了。虽然交换价值以使用价值为基础,但它更容易受供需的影响简单的说,当企业的职位空缺远少于找工作的人数时,人才的价格就会下降;而当企业的职位空缺比找工作的人数更多时,人才的价格就会上升。在过去相当长时间里,我们都处于前一种情况。这意味着求职者要彼此竞争,而招聘方可以选择要价更低的候选人。这在大家大学毕业找工作时应该深有体会。幸运的是,供需也是可以调整的,技巧就在于选择更好的细分市场。因为需求的多样性是存在的,所以如果你能在一个大的需求中切入一个需大大大于求的细分市场,那么你就能得到远高于其他人的回报。举个例子,同样是管服务器,普通运维工程师和云计算运维工程师的薪资差异是非常大的。一个普通运维要变成云计算运维,需要补充的知识并不是特别多。所以你只要合理安排好自己的职业规划,比如以相对较低的薪资到类似新浪云这样的地方工作一到两年,你的能力和交换价值都会大幅度提升。信息透明度当人才市场很小的时候,信息是很透明的。因为很容易了解到各自的情况。但当信息量变大后,你就会发现虽然整个市场很大,但只有你接触到的才对你有意义。比如北京现在有100家公司都在招聘PHP,但你只知道其中3家,这个时候,其他97家公司的存在对你而言是没有意义的,即使这3家给你的薪资比其他公司低,你也只能被迫接受。这就是信息透明度对我们求职的影响。没有网络招聘的时候,我们很难对这些公司进行比较,折腾过几家公司后,就屈服了。有了网络招聘,求职者活得稍微好一些了,可以不岀门看到全国的招聘情况;但Jobboard形式的招聘站是为招聘方设计的,它们通过构造信息不对称,向求职者优先显示那些付费却未必最好的公司,迫使求职者以更低的薪资为这些可见的公司工作。(这无可厚非,所有中介体都是通过信息不对称来收费的)所以要想拿到足够好的薪资和获得足够多的机会,我们要学会和信息不对称进行抗争。定要在短时间内获取到大量的机会,这样才能「做选择题」而不是「做判断题」。关于如何改变信息不对称,操作篇中的「渠道」部分我们会详细说明。跳槽不是什么跳槽不是为了追求价值最大化虽然前边我们从纯商业的角度讨论了跳槽这件事,但实际上我们并不推荐求职者单纯地通过薪资的高低来选择雇主。原因有两个。工作是生活的一部分你每天有24小时,上班8小时,它是你三分之一的生命。如果你只是因为高薪选择了一家上班不开心的公司,那么接下来三分之一的日子你都会在痛苦中渡过。而你得到的,只是多出来的那么每月几千块钱而已。职业的不可逆性别的事情错了我们可以重来,而职业选择上,每一步都是好几年的时光。一旦走下去,就很难回头,因为一旦换职业方向、哪怕换个开发语言,都意味着你之前的积累很可能前功尽弃。所以眼光放长远点,不要只看眼前的高薪,更要看好未来的发展,方向错了,跑得越猛输得越狠。跳槽不是找工作跳槽不是找工作,而是换工作。所以它和你刚毕业时找工作不一样,它是有成本的到一家新的公司,需要放弃原来公司的期权,需要重新熟悉业务,重新和同事搞好人际关系,上班路上需要花更多的时间,甚至需要离开自己熟悉的城市。你并不是一无所有,虽然往往只有在你失去后才发现。所以跳槽之前要考虑好自己的付出和收益:衡量好得失:没事别裸辞。跳槽不是加薪的砝码不要以跳槽为砝码去谈加薪,这种迫胁性的谈薪资方式会使主管对你丧失信仼。不管涨薪成不成功,他都不得不为你的离职做好准备,而当准备完成后,你就可以走人了。类似的,当你提珧槽时,如果你的主管通过加薪来挽留你,最好也不要同意。程序员如何谈薪资如果你对现在公司很满意,只是觉得薪资大低,那么可以先和你的主管聊聊我一般这么谈加薪的首先,讲一讲自己最近在工作上的成长,看主管是否认同;●然后,从能力提升角度,向主管要一个更大的发展空间和更大的业务挑战;最后,问问当你的能力达到这个新的水平时,蒜资是否可以同步提升起来。这样谈有几个好处:它建立了一个谈话基础,那就是薪资应该和能力相匹配它不谈现在的薪资,而是谈未来,一方面表明你对现在的薪资还算满意(以减少主管顾虑),另一方面对主管来讲,他没有立刻给你涨薪的压力;·它体现了你对自己能力提升的渴求,而如果在谈话中出现任何不顺利,你可以把中途把对话结束,根本不提加薪的事情。当然,坏处就是你得隔段时间才能加薪了。跳槽到底为什么说了那么多跳槽不是什么,那跳槽到底为什么呢?求职的本质在跳槽之前,你想过我们为什么要工作么?其实并不是真的如我们父辈们认为的那样,人活着就是要有一份工作的。工作最重要的目的是累积金钱。这是我们在这个现实世界用以维持生计的必需资源。挣钱这件事,至少有四种形式:帮别人挣钱(打工);为自己挣钱(SOHO);雇别人挣钱(企业主);让钱自己挣钱(投资)。为什么我们总是选择第一种呢?因为第一种门槛和风险都最低。而求职只是我们在自己资源和能力不足以进入后几种挣钱形式时,通过出卖自己的劳动能力换取资源的阶段性行为当然,如果能在第一种形式下获得自己满意的物质回报和精神满足,你也可以永远不考虑其他形式,但其他形式在挣钱的效率和数量上是有优势的。这个我们在稍后的章节会细聊。跳槽的意义跳槽其实是打工这种挣钱形态下,我们进行自我调节的方式,通过合理地跳槽,我们可以寻找到市场需求和自我实现的最佳匹配,从而在金钱和成长上双丰收。「市场需求」描述了企业渴求的员工;「自我实现」描述了你想要的生活;当它们重合到起,梦想就照进了现实。这会带给你几年非常愉快的工作生活,但随着我们不断成长,职位和能力可能出现不匹配,这时候我们又需要通过跳槽来再次调节。很多时候,这也是很无奈的事情,不进则退,人在江湖身不由己。跳槽的原则我有一个很好用的跳槽原则,之前发到微博上被赞了上百次:
- 2021-05-07下载
- 积分：1
