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

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

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

函数在参数上是逆变的，在返回值上的协变的，对象是不能泛型化的。在内部，编译器将所有嵌套的类型表达式a.b.c.T都翻译成类型投影a.b.c.type#T。对应复杂类型，可用type关键字创建一个简单的别名,type同样被用于那些在子类中被具体化的抽象类型。结构类型指的是一组关于抽象方法，字段和类型的规格说明，可用安全而方便的反射调用。在scala中，通过特质和自身类型达到一个简单的依赖注入效果。如果类型是在类实例化时给出，则使用泛型，如果类型是在子类中给出，则使用抽象类型。List这样的泛型类型有时称为类型构造器。Container特质是scala集合类库中使用的构建器机制的的简化版。