Tuesday, May 20, 2014

scala课堂:高级类型


  • 视界(“类型类”)
    1. 一个视界指定一个类型可以被“看作是”另一个类型。这对对象的只读操作是很有用的。
    2. 隐函数允许类型自动转换。更确切的说,在隐式函数可以帮助满足类型推断时,它们允许按需的函数应用。
    3. 视界,就像类型边界,要求对给定的类型存在这样一个函数。你可以使用<%指定类型限制。
  • 其他类型限制
    1. 方法可以通过隐含参数执行更复杂的类型限制。
    2. 使用视图进行泛型编程。
    3. 上下文边界和implicitly[]。
  • 更高级多态性类型和特设多态性
    1. scala可以对“更高阶”的类型进行抽象。
  • F-界多态性
  • 结构类型
  • 抽象类型成员
  • 类型擦除和清单
这部分和上部分的很多内容还不理解,后续需查阅其他资料学习。

No comments:

Post a Comment