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

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

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

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


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

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

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

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!