Αποτελέσματα Αναζήτησης
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列为 ...
这是尝试通过逻辑来将带概率的推理过程形式化的一种研究，用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 实现了各种各样的语言特性： 第三章介绍了一门简单的语言，该语言中的变量不能修改。这门语言是本书的基础，后面都是往这门语言里添加特性来讲解的。
知乎，让每一次点击都充满意义 —— 欢迎来到知乎，发现问题背后的世界。
9 Οκτ 2015 · 函数式编程等 2 个话题下的优秀答主. 脑洞序, 偏Haskell流. The Next 700 Programming Languages // ISWIM很多FP语言的语义在里面都有. Why Calculating is Better than Scheming //Wadler安利algebraic data type. Why Functional Programming Matters //利用惰性求值把操作完全抽离出数据结构的思想很不错. A ...
在恶搞文章 A Brief, Incomplete, and Mostly Wrong History of Programming Languages 里，作者假以 Philip Wadler 之名说出此话（或许后者真的在哪篇论文里引用过，我不确定，得问 @Canto Ostinato）。 我本试图用不严谨的语言解释一下这句话的数学含义，可感觉画蛇添足。
12 Μαΐ 2015 · B. Alpern, M.N. Wegman, and F.K. Zadeck, "Detecting Equality of Variables in Programs," Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 88), pages 1-11.
luikore . 编程话题下的优秀答主. - 函数作为一等公民和 closure capture 好处大家都知道, 传统语言都在想方设法集成这些特性. map, filter, reduce 等等东西写代码处理集合真是非常舒爽, 一眼就能看懂干什么, 又不用担心循环中的边界条件. - 函数式语言中的另一个利器是 ...
知乎是一个问答社区，用户可以在这里提出问题、分享见解并找到有价值的答案。
