柯里化是指将原来接受两个参数变成接受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集合类库中使用的构建器机制的的简化版。