K.I.S.S

1.2.1 不变数据与副作用

1.2.2 惰性求值

1.3.1 单元测试

1.3.2 并行

1.4.1 continuation

1.4.2 monad

1.4.3 uniqueness

1.5.1 Lambda算子

1.5.2 S-expression介绍

1. 什么是？
   

   树结构的数据格式表示形式。有形式化的文档描述，一个没有通过的RFC，地址： http://people.csail.mit.edu/rivest/Sexp.txt 用于通讯数据。 John McCarthy最先提到。

   第一代计算机科学家的年代。

   1. Dennis Ritchie found dead 2011.10.12
   2. John McCarthy 2011.10.24
   3. Steve Jobs 2011.10.05

1.5.3 XML、JSON 与S-exp的相似性

1.5.4 高阶函数，Map Reduce

1. Map and Reduce
   

   http://www.cs.cornell.edu/courses/cs3110/2009sp/lectures/lec05.html 良好的数据操作的抽象，可以作为一个通用的大规模数据处理框架，因为可以并行。80年代末就存在了使用这一抽象的并行系统The Connection Machine。但是时机对于技术的影响极大，有其自己的进化路径，Google将其发扬光大，Hadoop作为Google 的Map reduce的开源实现，目前已经被被广泛应用。

   "Our abstraction is inspired by the map and reduce primitives present in Lisp and many other functional languages. We realized that most of our computations involved applying a map operation to each logical record in our input in order to compute a set of intermediate key/value pairs, and then applying a reduce operation to all the values that shared the same key in order to combine the derived data appropriately."

   "inspired by",视界和思维定式往往限制了一个人，虽然这一说法过于“形而上”，但是保持学习的态度，广泛的开拓视野的作用自不言说。

   1. 大数据 互联网大规模数据挖掘与分布式处理
      

      第二章利用map-reduce来实现选择、投影、并交差运算的方法，这些方法基本都可以自然的应用于具有map reduce操作语言上。

   2. Map func list
      

      将list中的每个元素都经过func进行操作，形成新的一个list。其实也可以同时操作多个list,相对的func就需要同时传入多个参数。

   3. Reduce func init list
      

      func接受两个参数，以此遍历list，刚开始传入的是list的第一和第二项，然后通过func计算返回值，作为下次迭代传入的第一个参数。如有init，第一次传入的为init和list第一个项。

   4. 小径
      

      Map自然也可以通过reduce来实现，包括filter也可以。

1.5.5 call-by-value or call-by-name

1.6.1 Java的实现

1.6.2 LISP != FP

1. History of Lisp by John McCarthy
   

   http://www-formal.stanford.edu/jmc/history/lisp/lisp.html

2. History of Lisp by Paul Graham and also On Lisp
   
   • http://www.paulgraham.com/lisphistory.html
   • On Lisp，有中文翻译版本。
3. Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp by Peter Norvig
   

   http://norvig.com/paip.html

4. Concepts, Techniques, and Models of Computer Programming
   

   http://www.info.ucl.ac.be/~pvr/book.html

1.6.3 其他的语言

1. ML-> F# OCaml
   

   'Programming Language' on coursera.org

2. LISP -> ELISP /Common Lisp/Clojure …
   
   1. By GNU
      

      http://www.gnu.org/software/emacs/emacs-lisp-intro/html_node/index.html

   2. By Xah
      

      http://ergoemacs.org/emacs/elisp.html

   3. ELISP的“原始”
      

      dynamic scope

3. Scala in twitter
   
   1. A Conversation with 3 people in twitter
      

      http://www.artima.com/scalazine/articles/twitter_on_scala.html

4. Haskell
   

   纯函数式编程语言

   1. 副作用
      

1.7.1 直接版本

(defn extend-list [char-set]
  "扩展列表方法，可将(1 2 3)，扩展为((1) (1 2))"
  (map #(take (inc (.indexOf char-set %)) char-set) (drop-last char-set)))

(defn flatten-sub-index
  "原始无优化版本"
  [char-set]
  (if (= 1 (count char-set))
    (list char-set) 
    (map #(concat % (list (last char-set)))
         (reduce #(concat %1 %2) []
                 (map flatten-sub-index (extend-list char-set))))))

1.7.2 memoize版本

(declare fm)
(defn flatten-sub-index-two
  [char-set]
  (if (= 1 (count char-set))
    (list char-set) 
    (map #(concat % (list (last char-set)))
         (reduce #(concat %1 %2) []
                 (map fm (extend-list char-set))))))
(def fm (memoize flatten-sub-index-two))

1. memoize 的极端简单的实现示例 in racket
   

1.7.3 laziness版本

1.7.4 python的函数式快速排序、以及堆排序的可能性？

q=lambda s:s if len(s)<2 else q([x for x in s[1:]if x<s[0]])+[s[0]]+q([x for x in s[1:]if x>=s[0]])

1.7.5 Purely Functional Data Structures until 1998

1.7.6 New Data Structures since 1998

1.8.1 嵌入式的eval

1. Racket <- Scheme
   

   Lisp，语法不多言

2. 来自Programming Language[纸质材料]
   

   https://class.coursera.org/proglang-2012-001/class/index

1.8.2 bootstrap scheme的eval，其中的尾递归转化为迭代的优化实现。

1. 尾递归上次提过
   

1.8.3 构建系统语言的实现

1. makefile or ant
   

   仅仅在计划上，预计不会继续。

2. csv的dsl语言
   

   实现一个很简单的对csv进行操作的类SQL。

1.8.4 Java的尾递归的上层构建过程

1.9.1 C++ lambda引入

1.9.2 jvm class file dynamic 的类型引入，支持上层动态语言