Αποτελέσματα Αναζήτησης
3 Ιουλ 2015 · 解释器流. 先不说很纯的那种, SICP 跟 CTM 像是中间派, 还有本也是 MIT 出的 Design Concepts in Programming Languages (豆瓣) 没看过, 这类都是用一种语言讲到底的, 而不是之前那些各种语言都拿来说一下. 纯解释器流 最出名的估计是 EoPL Essential of Programming Languages, 3rd Edition ...
程序语言设计这课一般都是本科编译器课的铺垫...我们学校这课曾经用的是Krishnamurthi的 Programming Languages: Application and Interpretation （非第二版 这本书在知乎某知名PL专栏上有翻译） 不过现在主要依靠教学组自编的Lecture notes，只是把这本书和Robert Harper的PFPL列为 ...
26 Σεπ 2019 · 对于这些“铺垫”知识，有一本60页不到的书叫 An Introduction to Continuation 讲得比这个更直观，只要看前20页基本就够了，认真看完思考之后，可以自己写一个CEK Machine的解释器了（Programming Languages and Lambda Calculi 则比较慢热，但是相对更全面），这时候再反过去看 ...
如果以发PL相关领域顶级会议论文为指标评价一个学校是好与不好，做这个方向只能出国(境)，国内学校都是在自娱自乐，下面推荐部分学校，只是PL，不包括其他方向相关方向，具体教授你去搜具体学校+programming language就出来了，名字我也记不得了。
这是尝试通过逻辑来将带概率的推理过程形式化的一种研究，用Goodman的话说就是：. “In their simplest form, probabilistic programming languages extend a well-specified deterministic programming language with primitive constructs for random choice”. 通俗地说，就是他们找到了一种规范的语法，来 ...
要了解语言特性的话，强烈推荐 Essentials of Programming Languages。这本书用 Scheme 实现了各种各样的语言特性： 第三章介绍了一门简单的语言，该语言中的变量不能修改。这门语言是本书的基础，后面都是往这门语言里添加特性来讲解的。
知乎，让每一次点击都充满意义 —— 欢迎来到知乎，发现问题背后的世界。
luikore . 编程话题下的优秀答主. - 函数作为一等公民和 closure capture 好处大家都知道, 传统语言都在想方设法集成这些特性. map, filter, reduce 等等东西写代码处理集合真是非常舒爽, 一眼就能看懂干什么, 又不用担心循环中的边界条件. - 函数式语言中的另一个利器是 ...
R. Saigal, "Linear Programming", 1995 这本书比较深，适合做线性规划research的PhD去读。. 哈哈入门教程就不合适了，可以再刷完方老师的课程之后，如果想做深入的research再看。. G. Dantzig, M. Thapa, "Linear Programming", 1997，这本书是由单纯型法的发明人 Dantzig 写的，当然写书的 ...
Workshop也叫研讨会、讲习班，研讨会是一个专门讨论某个技术、方法或技能的活动，通常涉及实际操作和实践，它是依附Conference存在的，无法单独存在，这种接受的投稿比较少，录用率较高。. Demo是演示，也是依附conference存在的，无法单独存在，演示是一种展示 ...
