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

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

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


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

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

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

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

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