Ray Song, profile picture
Uploaded byRay Song
1,293 views

8门编程语言的设计思考

该文档探讨了八种编程语言的设计思路，强调了对传统编程范式的反思和创新。它涵盖了语言特性如同名性、尾递归和延迟求值等，以及不同编程语言的历史背景与实例。文中还提到了编程语言选择与工具的重要性，鼓励读者拓宽视野，了解更为广泛的编程方法。

Embed presentation

Downloaded 10 times
1 / 231
2 / 231
3 / 231
4 / 231
5 / 231
6 / 231
7 / 231
8 / 231
9 / 231
10 / 231
11 / 231
12 / 231
13 / 231
14 / 231
15 / 231
16 / 231
17 / 231
18 / 231
19 / 231
20 / 231
21 / 231
22 / 231
23 / 231
24 / 231
25 / 231
26 / 231
27 / 231
28 / 231
29 / 231
30 / 231
31 / 231
32 / 231
33 / 231
34 / 231
35 / 231
36 / 231
37 / 231
38 / 231
39 / 231
40 / 231
41 / 231
42 / 231
43 / 231
44 / 231
45 / 231
46 / 231
47 / 231
48 / 231
49 / 231
50 / 231
51 / 231
52 / 231
53 / 231
54 / 231
55 / 231
56 / 231
57 / 231
58 / 231
59 / 231
60 / 231
61 / 231
62 / 231
63 / 231
64 / 231
65 / 231
66 / 231
67 / 231
68 / 231
69 / 231
70 / 231
71 / 231
72 / 231
73 / 231
74 / 231
75 / 231
76 / 231
77 / 231
78 / 231
79 / 231
80 / 231
81 / 231
82 / 231
83 / 231
84 / 231
85 / 231
86 / 231
87 / 231
88 / 231
89 / 231
90 / 231
91 / 231
92 / 231
93 / 231
94 / 231
95 / 231
96 / 231
97 / 231
98 / 231
99 / 231
100 / 231
101 / 231
102 / 231
103 / 231
104 / 231
105 / 231
106 / 231
107 / 231
108 / 231
109 / 231
110 / 231
111 / 231
112 / 231
113 / 231
114 / 231
115 / 231
116 / 231
117 / 231
118 / 231
119 / 231
120 / 231
121 / 231
122 / 231
123 / 231
124 / 231
125 / 231
126 / 231
127 / 231
128 / 231
129 / 231
130 / 231
131 / 231
132 / 231
133 / 231
134 / 231
135 / 231
136 / 231
137 / 231
138 / 231
139 / 231
140 / 231
141 / 231
142 / 231
143 / 231
144 / 231
145 / 231
146 / 231
147 / 231
148 / 231
149 / 231
150 / 231
151 / 231
152 / 231
153 / 231
154 / 231
155 / 231
156 / 231
157 / 231
158 / 231
159 / 231
160 / 231
161 / 231
162 / 231
163 / 231
164 / 231
165 / 231
166 / 231
167 / 231
168 / 231
169 / 231
170 / 231
171 / 231
172 / 231
173 / 231
174 / 231
175 / 231
176 / 231
177 / 231
178 / 231
179 / 231
180 / 231
181 / 231
182 / 231
183 / 231
184 / 231
185 / 231
186 / 231
187 / 231
188 / 231
189 / 231
190 / 231
191 / 231
192 / 231
193 / 231
194 / 231
195 / 231
196 / 231
197 / 231
198 / 231
199 / 231
200 / 231
201 / 231
202 / 231
203 / 231
204 / 231
205 / 231
206 / 231
207 / 231
208 / 231
209 / 231
210 / 231
211 / 231
212 / 231
213 / 231
214 / 231
215 / 231
216 / 231
217 / 231
218 / 231
219 / 231
220 / 231
221 / 231
222 / 231
223 / 231
224 / 231
225 / 231
226 / 231
227 / 231
228 / 231
229 / 231
230 / 231
231 / 231
8 门编程语言的设计思考 . . 8 门编程语言的设计思考 宋方睿 http://maskray.tk emacs.ray@gmail.com 2012 年 7 月 21 日 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Outline .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 声明 对大多数语言我的理解都很肤浅，甚至无法用该语言 写出一个不琐碎的程序 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 声明 对大多数语言我的理解都很肤浅，甚至无法用该语言 写出一个不琐碎的程序 希望大家能了解到传统的 imperative、object-oriented 以外的东西 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 声明 对大多数语言我的理解都很肤浅，甚至无法用该语言 写出一个不琐碎的程序 希望大家能了解到传统的 imperative、object-oriented 以外的东西 对编程语言有不同的认识 (如工具是要精心挑选并且 需要打磨的) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 (display “hello, world”) . Example (hello, world) . (display "hello, world") . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Scheme Appeared in 1975 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Scheme Appeared in 1975 Functional .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Scheme Appeared in 1975 Functional Imperative .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 minimalism .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Homoiconicity (name “mad” age 60) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Homoiconicity (name “mad” age 60) ((name . “foo”) (name . “bar”) (name . “metasyntactic”)) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Homoiconicity (name “mad” age 60) ((name . “foo”) (name . “bar”) (name . “metasyntactic”)) (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Homoiconicity (name “mad” age 60) ((name . “foo”) (name . “bar”) (name . “metasyntactic”)) (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) Douglas McIlroy (1960) Macro Instruction Extensions of Compiler Languages .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Homoiconicity (name “mad” age 60) ((name . “foo”) (name . “bar”) (name . “metasyntactic”)) (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) Douglas McIlroy (1960) Macro Instruction Extensions of Compiler Languages 程序形式和数据结构一致 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Homoiconicity (name “mad” age 60) ((name . “foo”) (name . “bar”) (name . “metasyntactic”)) (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) Douglas McIlroy (1960) Macro Instruction Extensions of Compiler Languages 程序形式和数据结构一致 易于扩展 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Homoiconicity (name “mad” age 60) ((name . “foo”) (name . “bar”) (name . “metasyntactic”)) (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) Douglas McIlroy (1960) Macro Instruction Extensions of Compiler Languages 程序形式和数据结构一致 易于扩展 容易实现 meta programming .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Homoiconicity (name “mad” age 60) ((name . “foo”) (name . “bar”) (name . “metasyntactic”)) (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) Douglas McIlroy (1960) Macro Instruction Extensions of Compiler Languages 程序形式和数据结构一致 易于扩展 容易实现 meta programming tail recursion .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 First-class continuation (display (call/cc (lambda (cc) (cc "escape from the point") (display "This sentence won't get displayed")))) (let ((k #f)) (call/cc (lambda (cc) (set! k cc))) (display "loopn") (k)) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 First-class continuation (define cont #f) (define (f) (let ((i 0)) (call/cc (lambda (k) (set! cont k))) (set! i (1+ i)) i)) (define a (f)) (display a) (newline) (cont) (cont) (cont) (display a) (newline) Icon 的 generator .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 First-class continuation (define cont #f) (define (f) (let ((i 0)) (call/cc (lambda (k) (set! cont k))) (set! i (1+ i)) i)) (define a (f)) (display a) (newline) (cont) (cont) (cont) (display a) (newline) Icon 的 generator 更熟悉的名字是 Python 里的 yield .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 First-class continuation (define cont #f) (define (f) (let ((i 0)) (call/cc (lambda (k) (set! cont k))) (set! i (1+ i)) i)) (define a (f)) (display a) (newline) (cont) (cont) (cont) (display a) (newline) Icon 的 generator 更熟悉的名字是 Python 里的 yield coroutine .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 First-class continuation (define cont #f) (define (f) (let ((i 0)) (call/cc (lambda (k) (set! cont k))) (set! i (1+ i)) i)) (define a (f)) (display a) (newline) (cont) (cont) (cont) (display a) (newline) Icon 的 generator 更熟悉的名字是 Python 里的 yield coroutine exception handling .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 First-class continuation (define cont #f) (define (f) (let ((i 0)) (call/cc (lambda (k) (set! cont k))) (set! i (1+ i)) i)) (define a (f)) (display a) (newline) (cont) (cont) (cont) (display a) (newline) Icon 的 generator 更熟悉的名字是 Python 里的 yield coroutine exception handling delimited continuation: reset/shift .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Lazy evaluation What is lazy evaluation? (delay/force) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Lazy evaluation What is lazy evaluation? (delay/force) I’m too lazy to answer the question right now. .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Macro .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Naming convention 谓词名以? 结尾 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Naming convention 谓词名以? 结尾 eq? zero? .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Naming convention 谓词名以? 结尾 eq? zero? 类型转换函数名称中间有 -> .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Naming convention 谓词名以? 结尾 eq? zero? 类型转换函数名称中间有 -> list->vector .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Naming convention 谓词名以? 结尾 eq? zero? 类型转换函数名称中间有 -> list->vector 带副作用的函数 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Naming convention 谓词名以? 结尾 eq? zero? 类型转换函数名称中间有 -> list->vector 带副作用的函数 set! vector-set! .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 40 - 32 / 2 = 4 ! . Example (Twitter) . 40 - 32 / 2 = 4 ! . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 40 - 32 / 2 = 4 ! . Example (Twitter) . 40 - 32 / 2 = 4 ! 40 - (32 / 2) = 4*3*2*1 . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 40 - 32 / 2 = 4 ! . Example (Twitter) . 40 - 32 / 2 = 4 ! 40 - (32 / 2) = 4*3*2*1 (((40 - 32) / 2) = 4) ! . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Smalltalk Appeared in 1972 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Smalltalk Appeared in 1972 Object-oriented . Example (hello, world) . Transcript show: 'Hello, World!' . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Smalltalk Appeared in 1972 Object-oriented Dynamically typed . Example (hello, world) . Transcript show: 'Hello, World!' . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Smalltalk Appeared in 1972 Object-oriented Dynamically typed Reflective . Example (hello, world) . Transcript show: 'Hello, World!' . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Message passing . Example (Unary messages) . 42 factorial . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Message passing . Example (Unary messages) . 42 factorial ‘meow’ size . . Example (Binary messages) . . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Message passing . Example (Unary messages) . 42 factorial ‘meow’ size . . Example (Binary messages) . 1+2 . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Message passing . Example (Unary messages) . 42 factorial ‘meow’ size . . Example (Binary messages) . 1+2 3=3 . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Message passing . Example (Keyword messages) . 每个 selector 后有个冒号 . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Message passing . Example (Keyword messages) . 每个 selector 后有个冒号 Transcript print: ‘hello, world’ . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Message passing . Example (Keyword messages) . 每个 selector 后有个冒号 Transcript print: ‘hello, world’ 0 bitAt: 3 put: 1 . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 和常规方法比较 没有繁杂的优先级，只须记住 unary > binary > keyword .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 和常规方法比较 没有繁杂的优先级，只须记住 unary > binary > keyword 相同类型的左结合 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 和常规方法比较 没有繁杂的优先级，只须记住 unary > binary > keyword 相同类型的左结合 函数调用时参数非匿名有什么好处？ .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Block . Example . [:x | x+1] . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Block . Example . [:x | x+1] anObject ifTrue: [block-expression-1. block-expression-2] . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Block . Example . [:x | x+1] anObject ifTrue: [block-expression-1. block-expression-2] anObject ifTrue: [block-expression-1. block-expression-2] ifFalse: [block-expression-3. block-expression-4] . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Block . Example . [:x | x+1] anObject ifTrue: [block-expression-1. block-expression-2] anObject ifTrue: [block-expression-1. block-expression-2] ifFalse: [block-expression-3. block-expression-4] 不是 applicative order(有些材料中这个词和 call by value 同义)，所以放在 block 里可以延缓求值 . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Blocks First-class objects .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Blocks First-class objects 可以形成 closure .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Blocks First-class objects 可以形成 closure 通过 value: message 来执行 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Blocks First-class objects 可以形成 closure 通过 value: message 来执行 [3] value .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Blocks First-class objects 可以形成 closure 通过 value: message 来执行 [3] value [:x | x+1] value: 3 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Blocks First-class objects 可以形成 closure 通过 value: message 来执行 [3] value [:x | x+1] value: 3 [:x :y | x+y] value: 3 value: 3 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 List comprehensions . Example (Smalltalk way) . (1 to: 10) fold: [:x :y | x * y]. . . Example (if) . anObject ifTrue: [ block1 ] ifFalse: [ block2 . ] .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 影响 object-oriented programming .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 影响 object-oriented programming 窗口环境的设计 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 影响 object-oriented programming 窗口环境的设计 virtual machine .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 影响 object-oriented programming 窗口环境的设计 virtual machine message passing 风格和 class hierarchy .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 影响 object-oriented programming 窗口环境的设计 virtual machine message passing 风格和 class hierarchy integrated development environment .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 影响 object-oriented programming 窗口环境的设计 virtual machine message passing 风格和 class hierarchy integrated development environment hot swapping .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Lua Appeared in 1993 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Lua Appeared in 1993 imperative .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Lua Appeared in 1993 imperative prototype-based object-oriented .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Table Assocative array .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Table Assocative array 数组也是 table .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Table Assocative array 数组也是 table Metatable，object-oriented 的基石。Javascript 的 prototype 也是个类似的设计。 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Table Assocative array 数组也是 table Metatable，object-oriented 的基石。Javascript 的 prototype 也是个类似的设计。 require .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Object-oriented Account = {} f u n c t i o n Account : new ( ) o = { b a l a n c e = 0} setmetatable (o , s e l f ) s e l f . __index = s e l f return o end f u n c t i o n Account : d e p o s i t ( v ) s e l f . balance = s e l f . balance + v end B a n k P r e s i d e n t A c c o u n t = Account : new ( ) fu n c t i o n BankPresidentAccount : d ep o s i t ( v ) s e l f . balance = s e l f . balance + v * 2 end j o e = B a n k P r e s i d e n t A c c o u n t : new ( ) joe : deposit (17) print ( joe . balance ) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Llama, alpaca, Camel .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Perl Appeared in 1987 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Perl Appeared in 1987 Imperative .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Perl Appeared in 1987 Imperative Reflective .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Regular expression named capture .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Regular expression named capture look-around .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Regular expression named capture look-around executing code .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Regular expression named capture look-around executing code (?>pattern) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Sigil . example . my @a = qw/0 1 2 3 / ; $a [ 1 ] . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Sigil . example . sub v { $m = pop ; my @g = b%t , $ * ; $ s = @g ; $z = 0 ; map{ $x =0; map{ $ $ s [ $z ] [ $x ] = $$m [ $z ] [ $x ] eq ’#’ && $ $ s [ $z ] [ $ + ’ : ’− ’ ; $x++ } @$_ ; $z++ } @$m ; $s } . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 莫名其妙的全局变量 $. ($INPUT_LINE_NUMBER) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 莫名其妙的全局变量 $. ($INPUT_LINE_NUMBER) $, ($OUTPUT_FIELD_SEPARATOR) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 莫名其妙的全局变量 $. ($INPUT_LINE_NUMBER) $, ($OUTPUT_FIELD_SEPARATOR) $/ ($INPUT_RECORD_SEPARATOR) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 莫名其妙的全局变量 $. ($INPUT_LINE_NUMBER) $, ($OUTPUT_FIELD_SEPARATOR) $/ ($INPUT_RECORD_SEPARATOR) perldoc perlvar .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 难以创造稍微复杂一点的数据结构 二维数组？ $a = [ [ 1 ] , [ 2 ] ] ; p r i n t $a − > [ 1 ] [ 0 ] ; .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 难以创造稍微复杂一点的数据结构 二维数组？ $a = [ [ 1 ] , [ 2 ] ] ; p r i n t $a − > [ 1 ] [ 0 ] ; .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 难以创造稍微复杂一点的数据结构 二维数组？ $a = [ [ 1 ] , [ 2 ] ] ; p r i n t $a − > [ 1 ] [ 0 ] ; perldoc perllol .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Increment Operator $a =3; $a++; p r i n t $a ; $a= ’ ab ’ ; $a++; p r i n t $a ; .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Increment Operator $a =3; $a++; p r i n t $a ; $a= ’ ab ’ ; $a++; p r i n t $a ; .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Object-oriented package P e r s o n ; sub new { my $ c l a s s = s h i f t ; my $ s e l f = { _ f i r s t N a m e => s h i f t , _lastName bless $self , $class ; $self ; } => s h i f t package Employee ; use P e r s o n ; o u r @ISA = qw( P e r s o n ) ; .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Overloading void/scalar/list context .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Overloading void/scalar/list context 滥用 Zero one infinity rule .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Overloading void/scalar/list context 滥用 Zero one infinity rule 重载过头了，比如 perldoc -f open 给的 open 的用 法 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Overloading void/scalar/list context 滥用 Zero one infinity rule 重载过头了，比如 perldoc -f open 给的 open 的用 法 为了不是非常常见的情况下的便利牺牲了可读性，增 加了复杂性 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Overloading void/scalar/list context 滥用 Zero one infinity rule 重载过头了，比如 perldoc -f open 给的 open 的用 法 为了不是非常常见的情况下的便利牺牲了可读性，增 加了复杂性 表现力其实非常差，增加的表现力都是通过繁杂零碎 的细节规则实现的，而非通用的。和 Scheme/Smalltalk 相比无疑是个弱者 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Ruby Appeared in 1995 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Ruby Appeared in 1995 Reflective .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Ruby Appeared in 1995 Reflective Dynamic typing .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Ruby Appeared in 1995 Reflective Dynamic typing Object-oriented .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 高度 object-oriented 3.to_s .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 高度 object-oriented 3.to_s 4.class .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 高度 object-oriented 3.to_s 4.class 5.methods .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 高度 object-oriented 3.to_s 4.class 5.methods 6.send :to_f, Smalltalk 的 message-passing 风格 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 Mixin。消除了不少 marker interface 的问题 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 Mixin。消除了不少 marker interface 的问题 对 functional 友好 (听说 Python 的 BDFL 不遗余力地 想排除 map filter 这些函数，他本人学习 Haskell 的一 些吐槽也被 reddit 上的人吐槽……打住，再下去就 flame war 了) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 Mixin。消除了不少 marker interface 的问题 对 functional 友好 (听说 Python 的 BDFL 不遗余力地 想排除 map filter 这些函数，他本人学习 Haskell 的一 些吐槽也被 reddit 上的人吐槽……打住，再下去就 flame war 了) sort! nil? 来自 Scheme .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 Mixin。消除了不少 marker interface 的问题 对 functional 友好 (听说 Python 的 BDFL 不遗余力地 想排除 map filter 这些函数，他本人学习 Haskell 的一 些吐槽也被 reddit 上的人吐槽……打住，再下去就 flame war 了) sort! nil? 来自 Scheme @instance_var sigil，来自 Perl，但含义发生变化，还 有 $global 表示 global variable .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 Mixin。消除了不少 marker interface 的问题 对 functional 友好 (听说 Python 的 BDFL 不遗余力地 想排除 map filter 这些函数，他本人学习 Haskell 的一 些吐槽也被 reddit 上的人吐槽……打住，再下去就 flame war 了) sort! nil? 来自 Scheme @instance_var sigil，来自 Perl，但含义发生变化，还 有 $global 表示 global variable 只有 nil 和 false 为假，[] "" {} 等是真，更安全，nil 是 dynamic typing 和 reflective 的一个妥协 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 First-class continuation 来自 Scheme .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 First-class continuation 来自 Scheme Operator overloading 的方式 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 First-class continuation 来自 Scheme Operator overloading 的方式 Smalltalk 的 block，Ruby 用 do end 语法只支持一个 block(实际上这样够用了) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 理念 First-class continuation 来自 Scheme Operator overloading 的方式 Smalltalk 的 block，Ruby 用 do end 语法只支持一个 block(实际上这样够用了) 易于实现 embedded domain specific language .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Ruby 1.9 hash syntax 是不是类似 Smalltalk 的 keyword message def f ( * a r g s ) p args end f 3 , ’ a ’ , one : 5 , two : 8 => [3, "a", {:one=>5, :two=>8}] .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Ruby 1.9 hash syntax 是不是类似 Smalltalk 的 keyword message def f ( * a r g s ) p args end f 3 , ’ a ’ , one : 5 , two : 8 => [3, "a", {:one=>5, :two=>8}] {:arr => [1,2], :str => ‘hello’} .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Block 是不是 Python with statement 的通用版 def f u n &b l o c k # acquire resource b l o c k . c a l l 42 # release resource end f u n do p ’ hello ’ end .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Block 是不是 Python with statement 的通用版 def f u n &b l o c k # acquire resource b l o c k . c a l l 42 # release resource end f u n do p ’ hello ’ end .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Block (1..5).inject(1) {|acc,x| acc*x } .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Prolog Appeared in 1972 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Prolog Appeared in 1972 Logic .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 模型 事实 f (a , c ). f (b , c ) . ?− f (X , b ) . X = a ; X = c. .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 模型 事实 规则 f (a , c ). f (b , c ) . ?− f (X , b ) . X = a ; X = c. .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 模型 事实 规则 查询 f (a , c ). f (b , c ) . ?− f (X , b ) . X = a ; X = c. .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Operator 一些方言中允许自定义，还能指定优先级和结合性 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 大量使用 compound term 表示自定义数据类型 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 大量使用 compound term 表示自定义数据类型 truck_year('Mazda', 1986) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 大量使用 compound term 表示自定义数据类型 truck_year('Mazda', 1986) 用 pattern matching 来提取字段 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Predicate SLD resolution .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Predicate SLD resolution 相当于语言内置的 backtracking 机制 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Predicate SLD resolution 相当于语言内置的 backtracking 机制 会尝试返回所有结果，除非使用了 cut 来剪枝 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Definite clause grammar 像 Prolog 这么简单 (语法) 的语言也引入特殊语法 . Example (normal) . sentence(S1,S3) :- noun_phrase(S1,S2), verb_phrase(S2,S3). noun_phrase(S1,S3) :- det(S1,S2), noun(S2,S3). verb_phrase(S1,S3) :- verb(S1,S2), noun_phrase(S2,S3). det([the|X], X). det([a|X], X). noun([cat|X], X). noun([bat|X], X). verb([eats|X], X). . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Definite clause grammar . Example (DCG) . sentence --> noun_phrase, verb_phrase. noun_phrase --> det, noun. verb_phrase --> verb, noun_phrase. det --> [the]. det --> [a]. noun --> [cat]. noun --> [bat]. verb --> [eats]. . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Unification append([ ], L, L). append([X | L1], L2, [X | L3]) :- append(L1, L2, L3). .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Unification append([ ], L, L). append([X | L1], L2, [X | L3]) :- append(L1, L2, L3). ?- append([1,2],[3],X). .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Unification append([ ], L, L). append([X | L1], L2, [X | L3]) :- append(L1, L2, L3). ?- append([1,2],[3],X). ?- append([1,2],[3],[1,2,3]. .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Unification append([ ], L, L). append([X | L1], L2, [X | L3]) :- append(L1, L2, L3). ?- append([1,2],[3],X). ?- append([1,2],[3],[1,2,3]. ?- append([1,2],X,[1,2,3]). .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Unification append([ ], L, L). append([X | L1], L2, [X | L3]) :- append(L1, L2, L3). ????- append([1,2],[3],X). append([1,2],[3],[1,2,3]. append([1,2],X,[1,2,3]). append(X,Y,[1,2,3]). .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Quick sort qsort([]) -> []; qsort([P|XS]) -> qsort([X || X <- XS, X < P]) ++ [P] ++ qsort([X || X <- XS, X >= P]). .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Erlang Appeared in 1986 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Erlang Appeared in 1986 functional .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Erlang Appeared in 1986 functional dynamic typing .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 非常少，基本都用 tuple 表示 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 非常少，基本都用 tuple 表示 Lua 基本都用 table 表示 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 非常少，基本都用 tuple 表示 Lua 基本都用 table 表示 Lisp 基本都用 list 表示 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 非常少，基本都用 tuple 表示 Lua 基本都用 table 表示 Lisp 基本都用 list 表示 注意 list/tuple 看上去表现力是比 table/hash 弱的 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 非常少，基本都用 tuple 表示 Lua 基本都用 table 表示 Lisp 基本都用 list 表示 注意 list/tuple 看上去表现力是比 table/hash 弱的 所以采用 Lisp 的 property list 形式 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 非常少，基本都用 tuple 表示 Lua 基本都用 table 表示 Lisp 基本都用 list 表示 注意 list/tuple 看上去表现力是比 table/hash 弱的 所以采用 Lisp 的 property list 形式 小写字母打头的标识符是 atom，结合 tuple 能起到类 似 property list 的功效 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Data type 非常少，基本都用 tuple 表示 Lua 基本都用 table 表示 Lisp 基本都用 list 表示 注意 list/tuple 看上去表现力是比 table/hash 弱的 所以采用 Lisp 的 property list 形式 小写字母打头的标识符是 atom，结合 tuple 能起到类 似 property list 的功效 {hello, {x, Data}} {add,3,4} .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Concurrency 语言内置 process，Erlang VM 实现的可以看做是 green process .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Concurrency 语言内置 process，Erlang VM 实现的可以看做是 green process 和 green thread 的差异在于 process 间没有共享的状态 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Concurrency 语言内置 process，Erlang VM 实现的可以看做是 green process 和 green thread 的差异在于 process 间没有共享的状态 Actor model，避免 lock .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 OCaml Appeared in 1983 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 OCaml Appeared in 1983 Strong static typing .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 OCaml Appeared in 1983 Strong static typing Functional .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 OCaml Appeared in 1983 Strong static typing Functional Imperative .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 OCaml Appeared in 1983 Strong static typing Functional Imperative object-oriented .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Function call juxtaposition print_endline "hello, world" .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 结合 functional 和 object-oriented Expression problem .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 结合 functional 和 object-oriented Expression problem Algebraic data type 与 class-based object-oriented 采取 的方式正交 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 结合 functional 和 object-oriented Expression problem Algebraic data type 与 class-based object-oriented 采取 的方式正交 给你自由选择更合适的方式 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Currying # let add x y = x + y;; val add : int -> int -> int = <fun> # add 3;; - : int -> int = <fun> Ruby/CoffeeScript 也用了 juxtaposition，但是若支持 currying，由于 dynamic typing，容易产生 bug .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Module system 把相互关联的函数组织在一起 (如定义了一个数据类 型以及操作这个数据类型的一系列函数) module S t a c k = s t r u c t exception Stack_is_empty type ’ a s t a c k = Empty | Elem o f ’ a * ’ a s t a c k l e t push s e = Elem ( e , s ) l e t pop = f u n c t i o n | Empty −> r a i s e S t a c k _ i s _ e m p t y | Elem (_ , s ) −> s l e t top = function | Empty −> r a i s e S t a c k _ i s _ e m p t y | Elem ( e , _) −> e end .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Module system 把相互关联的函数组织在一起 (如定义了一个数据类 型以及操作这个数据类型的一系列函数) separate compilation module S t a c k = s t r u c t exception Stack_is_empty type ’ a s t a c k = Empty | Elem o f ’ a * ’ a s t a c k l e t push s e = Elem ( e , s ) l e t pop = f u n c t i o n | Empty −> r a i s e S t a c k _ i s _ e m p t y | Elem (_ , s ) −> s l e t top = function | Empty −> r a i s e S t a c k _ i s _ e m p t y | Elem ( e , _) −> e end .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Functor module type Eq = s i g type t v a l eq : t −> t −> b o o l end module MakeSet ( E : Eq ) = s t r u c t type t = E . t l e t empty = [ ] l e t add x s = x : : s l e t f i n d x s = L i s t . f i n d ( E . eq x ) s end module S t r E q = s t r u c t type t = s t r i n g l e t eq s 1 s 2 = s 1 = s 2 ; end module S t r S e t = MakeSet ( S t r E q ) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Encapsulation # let o = object v a l xs = ” ray ” method o u t p u t = p r i n t _ e n d l i n e x s end ; ; v a l o : < o u t p u t : u n i t > = <o b j > .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Row polymorphism # fun x −> x#o u t p u t ; ; − : < o u t p u t : ’ a ; . . > −> ’ a = <fun> .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Private method single coersion l e t f = fun x −> x#o u t p u t ; ; end type ’ a y = <o u t p u t : ’ a ; i n p u t : ’ a −> u n i t > −> ’ a f :> ’ a y .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Structural typing 两个类型，如果暴露给外界的接口 (public) 完全一致， 那么这两个类型就认为是相同的 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Structural typing 两个类型，如果暴露给外界的接口 (public) 完全一致， 那么这两个类型就认为是相同的 A 的接口是 B 的超集，那么 A 就是 B 的子类 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Structural typing 两个类型，如果暴露给外界的接口 (public) 完全一致， 那么这两个类型就认为是相同的 A 的接口是 B 的超集，那么 A 就是 B 的子类 C++/Java 这类语言不得不用到很多 marker interface， 而且因为 static typing，还没法动态生成类型 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Quote ** J. Maurice Rojas Once you decide strongly to stick with Haskell, it will take no longer than seven lives to attain the mastery. .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Haskell Appeared in 1990 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Haskell Appeared in 1990 Purely functional .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Haskell Appeared in 1990 Purely functional Strong static typing .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Haskell Appeared in 1990 Purely functional Strong static typing Lazy .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 All positive rationals take 8 $ fix ((1:).(>>= x->[1+x,1/(1+x)])) [1.0,2.0,0.5,3.0,0.3333333333333333,1.5,0.6666666666666 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Powerset filterM (const [True, False]) [1..3] [[1,2,3],[1,2],[1,3],[1],[2,3],[2],[3],[]] .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Typeclass 实现 ad-hoc polymorphism 的一种方式 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Typeclass 实现 ad-hoc polymorphism 的一种方式 Int 可以做除法，Double 可以做除法，Rational 可以做 除法。需要有个 typeclass 定义哪些类型能做除法。 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Typeclass 实现 ad-hoc polymorphism 的一种方式 Int 可以做除法，Double 可以做除法，Rational 可以做 除法。需要有个 typeclass 定义哪些类型能做除法。 单参数的 typeclass 类似 C++ 的 virtual class 或者 Java 的 interface .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Typeclass 实现 ad-hoc polymorphism 的一种方式 Int 可以做除法，Double 可以做除法，Rational 可以做 除法。需要有个 typeclass 定义哪些类型能做除法。 单参数的 typeclass 类似 C++ 的 virtual class 或者 Java 的 interface 多参数、带 context、functional dependency 的情况下就 需要动用 traits template 和 SFINAE principle 了 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Typeclass 实现 ad-hoc polymorphism 的一种方式 Int 可以做除法，Double 可以做除法，Rational 可以做 除法。需要有个 typeclass 定义哪些类型能做除法。 单参数的 typeclass 类似 C++ 的 virtual class 或者 Java 的 interface 多参数、带 context、functional dependency 的情况下就 需要动用 traits template 和 SFINAE principle 了 C++ template 中的 partial specialization 在 typeclass 中 没有直接对应物 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Typeclass 实现 ad-hoc polymorphism 的一种方式 Int 可以做除法，Double 可以做除法，Rational 可以做 除法。需要有个 typeclass 定义哪些类型能做除法。 单参数的 typeclass 类似 C++ 的 virtual class 或者 Java 的 interface 多参数、带 context、functional dependency 的情况下就 需要动用 traits template 和 SFINAE principle 了 C++ template 中的 partial specialization 在 typeclass 中 没有直接对应物 没有一般化的 overlapping instance 扩展，但可用 newtype 引入新类型，或者用 context 结合 functional dependency 解决 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Typeclass 实现 ad-hoc polymorphism 的一种方式 Int 可以做除法，Double 可以做除法，Rational 可以做 除法。需要有个 typeclass 定义哪些类型能做除法。 单参数的 typeclass 类似 C++ 的 virtual class 或者 Java 的 interface 多参数、带 context、functional dependency 的情况下就 需要动用 traits template 和 SFINAE principle 了 C++ template 中的 partial specialization 在 typeclass 中 没有直接对应物 没有一般化的 overlapping instance 扩展，但可用 newtype 引入新类型，或者用 context 结合 functional dependency 解决 C++ template 不支持 paramorphic recursion(递归时参 数类型变化) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Typeclass 实现 ad-hoc polymorphism 的一种方式 Int 可以做除法，Double 可以做除法，Rational 可以做 除法。需要有个 typeclass 定义哪些类型能做除法。 单参数的 typeclass 类似 C++ 的 virtual class 或者 Java 的 interface 多参数、带 context、functional dependency 的情况下就 需要动用 traits template 和 SFINAE principle 了 C++ template 中的 partial specialization 在 typeclass 中 没有直接对应物 没有一般化的 overlapping instance 扩展，但可用 newtype 引入新类型，或者用 context 结合 functional dependency 解决 C++ template 不支持 paramorphic recursion(递归时参 数类型变化) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Num [a] . Example (Example) . i n s t a n c e Num a = Num [ a ] where > ( f : f s ) + ( g : g s ) = f+g : f s+g s fs + [] = fs [ ] + gs = gs ( f : f s ) * ( g : g s ) = f *g : [ f ] * g s + f s * ( g : g s ) _ * _ = [] [ 1 , 1 ] ^ 4 == [ 1 , 4 , 6 , 4 , 1 ] . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Re-invent imperative programming do x <− g e t ; p u t 5 ; y <− g e t ; p u t 6 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Parsec 解析一个 csv 文件 . Example (csv) . csv : : CharParser st [ [ String ] ] c s v = ( r e c o r d ‘ sepEndBy ‘ n e w l i n e ) <* e o f where r e c o r d = ( q u o t e d <|> many ( noneOf ” , ” n ” ) ) ‘ sepBy ‘ q u o t e d = between ( c h a r ’ ” ’ ) ␣ ( c h a r ␣ ’ ” ’ ) . many $ none − 可以自定义操作符，甚至优先级 . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Pattern matching . Example (Pattern guards) . add x y | 3 <− x = x + y . . Example (View patterns) . m y s o r t ( s o r t −> x s ) = x s . .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Off-side rule 源自 ISWIN .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Off-side rule 源自 ISWIN 使代码更清晰 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Number literal 1 是否应该作为 Int 类型？ .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Number literal 1 是否应该作为 Int 类型？ 应该是 Num 这个 Typeclass 的任意一个 instance .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 String literal “asdf” 可以是 IsString 这个 Typeclass 的任意一个 instance。 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 String literal “asdf” 可以是 IsString 这个 Typeclass 的任意一个 instance。 可以是 [Char]，可以是 ByteString，可以是你的自定义 类型，只要提供了 IsString 的 instance .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 List comprehension List comprehension 的语法非常漂亮，是否应该有 set/dictionary comprehension？ .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 List comprehension List comprehension 的语法非常漂亮，是否应该有 set/dictionary comprehension？ 有 Monad comprehension 就够了 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Section 二元操作符也应该拥有 currying 的能力 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Section 二元操作符也应该拥有 currying 的能力 Left section, (12+), 相当于 (+) 12 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Section 二元操作符也应该拥有 currying 的能力 Left section, (12+), 相当于 (+) 12 Right section, (*13), 相当于 flip (*) 13 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Section 二元操作符也应该拥有 currying 的能力 Left section, (12+), 相当于 (+) 12 Right section, (*13), 相当于 flip (*) 13 (3 `elem`), 把正常函数变成 operator 再做 section .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Monad 传统：一个函数接受参数 a 返回 b .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Monad 传统：一个函数接受参数 a 返回 b 上述操作可以看做一个 action(原用于 IO) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Monad 传统：一个函数接受参数 a 返回 b 上述操作可以看做一个 action(原用于 IO) Monad 很通用，值得拥有一个单独的语法 do(Python 的 with statement 是否通用到值得为它赋予新语法? 疑 似源自 Lisp 的 unwind-protect) .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Monad 传统：一个函数接受参数 a 返回 b 上述操作可以看做一个 action(原用于 IO) Monad 很通用，值得拥有一个单独的语法 do(Python 的 with statement 是否通用到值得为它赋予新语法? 疑 似源自 Lisp 的 unwind-protect) Arrow 比 Monad 更抽象，也值得拥有类似的语法 proc .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Monad 传统：一个函数接受参数 a 返回 b 上述操作可以看做一个 action(原用于 IO) Monad 很通用，值得拥有一个单独的语法 do(Python 的 with statement 是否通用到值得为它赋予新语法? 疑 似源自 Lisp 的 unwind-protect) Arrow 比 Monad 更抽象，也值得拥有类似的语法 proc 可以看做 structured output .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Monad 传统：一个函数接受参数 a 返回 b 上述操作可以看做一个 action(原用于 IO) Monad 很通用，值得拥有一个单独的语法 do(Python 的 with statement 是否通用到值得为它赋予新语法? 疑 似源自 Lisp 的 unwind-protect) Arrow 比 Monad 更抽象，也值得拥有类似的语法 proc 可以看做 structured output 可以看做附带了一个环境 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Failure 不要吐槽这段代码不 idiomatic，照顾不用 Ruby 的同学 def f o o return return return return end ’ Meowth ’ u n l e s s f 36 ’ Persian ’ unless g 1 ’ f q j ’ u n l e s s h 22 17 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Error monad f o o = do f 36 g 1 h 22 r e t u r n 17 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Non-determinism def b a r [ 1 , 2 , 3 ] . map { | x | [ 4 , 5 , 6 ] . map { | y | x*y } } end .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 List monad baz = do x <− [ 1 , 2 , 3 ] y <− [ 4 , 5 , 6 ] return $ x*y baz = [ x * y | x <− [ 1 , 2 , 3 ] , y <− [ 4 , 5 , 6 ] ] baz = ( * ) <$> [ 1 , 2 , 3 ] <*> [ 4 , 5 , 6 ] .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Environment def def def def f (x ); g(x ); h(x ); i (x ); g ( x ) ; i ( x ) ; end h ( x ) ; end x * x ; end x +3; end .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Reader monad f g h i = = = = g >> i h j o i n ( * ) <$> a s k (+3) <$> a s k .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Monad transformer 每一个 monad 都代表一种特殊的效果。能不能把它们 堆砌起来？于是就有了 monad transformer .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Monad transformer 每一个 monad 都代表一种特殊的效果。能不能把它们 堆砌起来？于是就有了 monad transformer 比如 xmonad 中的 layout transformer，REFLECTX TABBED MIRROR NOBORDERS .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Meta programming Lisp 的 macro 类型不够安全，需要类型安全的 Template Haskell .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Fold 什么样的东西能 fold？List？Tree？Foldable！被 fold 的 元素有什么特征？Monoid！ .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Fold 什么样的东西能 fold？List？Tree？Foldable！被 fold 的 元素有什么特征？Monoid！ Catamorphism .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Fold 什么样的东西能 fold？List？Tree？Foldable！被 fold 的 元素有什么特征？Monoid！ Catamorphism Ruby 解决这个问题的方式是 duck typing .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Fold 什么样的东西能 fold？List？Tree？Foldable！被 fold 的 元素有什么特征？Monoid！ Catamorphism Ruby 解决这个问题的方式是 duck typing “When I see a bird that walks like a duck and swims like a duck and quacks like a duck, I call that bird a duck.” .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Fold 什么样的东西能 fold？List？Tree？Foldable！被 fold 的 元素有什么特征？Monoid！ Catamorphism Ruby 解决这个问题的方式是 duck typing “When I see a bird that walks like a duck and swims like a duck and quacks like a duck, I call that bird a duck.” Common Lisp 解决这个问题的方式是让 map delete-if 这样的函数接受一个参数代表类型，有点丑陋 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Getter/setter Haskell 的 record syntax 的设计不够好 test :: [Int] test = (addOne `to` everyOther) `from` [1, 2, 9, 6, 7, 8, 4 -- test == [2, 2, 10, 6, 8, 8, 5] .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Getter/setter Haskell 的 record syntax 的设计不够好 Lens (functional reference) test :: [Int] test = (addOne `to` everyOther) `from` [1, 2, 9, 6, 7, 8, 4 -- test == [2, 2, 10, 6, 8, 8, 5] .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Lazy evaluation 消除了不必要的计算，比如和实现方式和传统毫无差 异的 merge sort，如果你用它来取列表 head，那么时 间复杂度是 O(n) 的 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Lazy evaluation 消除了不必要的计算，比如和实现方式和传统毫无差 异的 merge sort，如果你用它来取列表 head，那么时 间复杂度是 O(n) 的 可以处理无限长的列表 .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .
8 门编程语言的设计思考 Lazy evaluation 消除了不必要的计算，比如和实现方式和传统毫无差 异的 merge sort，如果你用它来取列表 head，那么时 间复杂度是 O(n) 的 可以处理无限长的列表 一边算一边用，比如 fibs = 0:scanl (+) 1 fibs .. . .. . .. . . . . . . . . . . . . . .. .. .. .. .. .. .. .. .. .. .. .. .. . .. . .. . .. . .. .

More Related Content

PPT
Intro. to prog. c++
byKurdGul
 
PPTX
Intro To C++ - Class 14 - Midterm Review
byBlue Elephant Consulting
 
PPTX
C++11
byAndrey Dankevich
 
PDF
尼古丁加咖啡因,不瞌睡的简报設計模式 (Caffeine+Nicotine)
byDahui Feng
 
PPT
C++ programming
byviancagerone
 
KEY
Ruby basic
byxiaozhestrong
 
PDF
C++ 11
byMinqi Pan
 
PDF
Ruby基础培训
byxiaozhestrong
 
Intro. to prog. c++
byKurdGul
 
Intro To C++ - Class 14 - Midterm Review
byBlue Elephant Consulting
 
C++11
byAndrey Dankevich
 
尼古丁加咖啡因,不瞌睡的简报設計模式 (Caffeine+Nicotine)
byDahui Feng
 
C++ programming
byviancagerone
 
Ruby basic
byxiaozhestrong
 
C++ 11
byMinqi Pan
 
Ruby基础培训
byxiaozhestrong
 

Similar to 8门编程语言的设计思考

PDF
使用Dsl改善软件设计
bymingjin
 
PPT
软件工程 第六章
by浒 刘
 
PDF
專業外語（二）ghbhuhhhyggyyggyggggggggg-W04.pdf
byMeiMei986041
 
PPT
软件工程 第七章
by浒 刘
 
PDF
Java program in_action
bymysqlops
 
PDF
專業外語（二）hwhwbajwnjsnansjsjsnsnnsnsnsb-W04.pdf
byMeiMei986041
 
PDF
Windows Mobile 6 程式開發入門
byChui-Wen Chiu
 
PDF
Lua/LuaJIT 字节码浅析
byXiaozhe Wang
 
PPT
Lua 语言介绍
bygowell
 
PPT
第1章 概论
bytjpucompiler
 
PPT
软件工程
bybill0077
 
PPT
软件工程 第十一章
by浒 刘
 
PDF
卓望公司内部培训课件 蔡镜明
by光风
 
ODP
Ihome inaction 篇外篇之fp介绍
bydennis zhuang
 
PDF
Clojure and FP
byQin Jian
 
PDF
Java program in_action_20110727-撒迦
bychenjianxing
 
PDF
Jvm分享20101228
bylunfu zhong
 
PPT
漫谈游戏编程
byMing Gao
 
PPT
Slide08 807007748
byShiyao Ma
 
PDF
走上It之路
byDavid Xie
 
使用Dsl改善软件设计
bymingjin
 
软件工程 第六章
by浒 刘
 
專業外語（二）ghbhuhhhyggyyggyggggggggg-W04.pdf
byMeiMei986041
 
软件工程 第七章
by浒 刘
 
Java program in_action
bymysqlops
 
專業外語（二）hwhwbajwnjsnansjsjsnsnnsnsnsb-W04.pdf
byMeiMei986041
 
Windows Mobile 6 程式開發入門
byChui-Wen Chiu
 
Lua/LuaJIT 字节码浅析
byXiaozhe Wang
 
Lua 语言介绍
bygowell
 
第1章 概论
bytjpucompiler
 
软件工程
bybill0077
 
软件工程 第十一章
by浒 刘
 
卓望公司内部培训课件 蔡镜明
by光风
 
Ihome inaction 篇外篇之fp介绍
bydennis zhuang
 
Clojure and FP
byQin Jian
 
Java program in_action_20110727-撒迦
bychenjianxing
 
Jvm分享20101228
bylunfu zhong
 
漫谈游戏编程
byMing Gao
 
Slide08 807007748
byShiyao Ma
 
走上It之路
byDavid Xie
 

More from Ray Song

PDF
r2con 2017 r2cLEMENCy
byRay Song
 
PDF
Cyber Grand Challenge及DEFCON 24 CTF决赛介绍
byRay Song
 
PDF
gcov和clang中的实现
byRay Song
 
PDF
RISC-V Linker Relaxation and LLD
byRay Song
 
PDF
C++ exception handling
byRay Song
 
PDF
OI算法竞赛中树形数据结构
byRay Song
 
PDF
2011年信息学竞赛冬令营《星际探险》
byRay Song
 
PDF
Introduction to makefile
byRay Song
 
PDF
Implementing a Simple Interpreter
byRay Song
 
r2con 2017 r2cLEMENCy
byRay Song
 
Cyber Grand Challenge及DEFCON 24 CTF决赛介绍
byRay Song
 
gcov和clang中的实现
byRay Song
 
RISC-V Linker Relaxation and LLD
byRay Song
 
C++ exception handling
byRay Song
 
OI算法竞赛中树形数据结构
byRay Song
 
2011年信息学竞赛冬令营《星际探险》
byRay Song
 
Introduction to makefile
byRay Song
 
Implementing a Simple Interpreter
byRay Song
 

8门编程语言的设计思考