首页 > 代码库 > scala简要:高级函数和高级类型

scala简要:高级函数和高级类型

 在scala中,函数是头等公民,可以用变量存储函数,可以使用匿名函数,和带参数的函数。如果需要一个序列的值,一般从一个简单序列转化得出。
函数可以在变量不再作用域内时被调用,这样的函数叫闭包。

柯里化是指将原来接受两个参数变成接受一个参数的函数的过程。不需要用return语句来返回函数值,函数的返回值就是函数体的值。


 scala中,用方括号来定义类型参数,从调用该方法的实际参数来推断出类型。视图界定 T<%V要求必须存在一个从T到V的隐式转换,Manifest对象是构造器的隐式参数,可用于上下文界定,类型变化的方向和子类型方向是相反的。

函数在参数上是逆变的,在返回值上的协变的,对象是不能泛型化的。


在内部,编译器将所有嵌套的类型表达式a.b.c.T都翻译成类型投影a.b.c.type#T。对应复杂类型,可用type关键字创建一个简单的别名,type同样被用于那些在子类中被具体化的抽象类型。

结构类型指的是一组关于抽象方法,字段和类型的规格说明,可用安全而方便的反射调用。

在scala中,通过特质和自身类型达到一个简单的依赖注入效果。如果类型是在类实例化时给出,则使用泛型,如果类型是在子类中给出,则使用抽象类型。

List这样的泛型类型有时称为类型构造器。Container特质是scala集合类库中使用的构建器机制的的简化版。

scala简要:高级函数和高级类型