scala中的函数式特征ppt整理.pptx

Scala中的函数式特征;关于我;说明;函数式语言;关于Scala语言;怎么理解这两种风格？;命令式与函数式;命令式与函数式;命令式与函数式;函数式程序是跟值打交道的，而不是跟状态打交道的。它们的工具是表达式，而不是命令。 —《ML for the Working Programmer》; 值 vs 状态;副作用(side effect);Scala的做法;函数式是面向表达式的;Scala中的表达式;Scala中的表达式;赋值语句的注意点：; 表达式主要是由函数调用组成的;Function vs Method;Scala中的Function/Method/Functor;函数作为一等公民;函数作为一等公民体现在哪儿？;可传递;可传递;嵌套函数;嵌套函数;lambda: 函数字面量(Function literal);高阶函数;Scala里的高阶函数;Scala里的高阶函数; 在lambda演算中，每个表达式都代表一个只有单独参数的函数，这个函数的参数本身也是一个只有单一参数的函数，同时，函数的值是又一个只有单一参数的函数。;多个参数的???数怎么办？;柯里化(currying);柯里化(currying);柯里化(currying);柯里化(currying);柯里化(currying);柯里化(currying);部分应用函数(partial application function);偏应用函数(partial application function);部分应用函数(partial application function);部分应用函数(partial application function);闭包(closure);Java中的匿名内部类如何访问局部变量;逻辑行为 + 上下文;scala def foo = { | val localVal = hello | val fun = ()= localVal + ,world | fun | };Scala的类型系统中的函数式特征;generic types as first-class types ;generic types as first-class types ;List[T];List2[C[_]];scala new List2[List];type;Higher-kinded type;Kind ?;类型是对数据的抽象;Kind: 类别，对类型的抽象; 所有的proper type 被抽象为同一种 kind，用 * 表示;对一阶类型的抽象:;对高阶类型的抽象:;图上少了higher-kind , http://adriaanm.github.io/files/higher.pdf;以函数的视角;type lambda;type lambda;type lambda;Scala 的类型系统是图灵完备的，即利用类型系统本身就可以解决一些问题。;我们在招人;QA