New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

scala 类型系列 #16

Open

hongjiang opened this issue Aug 30, 2013 · 7 comments

Member

hongjiang commented Aug 30, 2013

scala类型系统：1) 类型与类 http://hongjiang.info/scala-type-and-class/
scala类型系统：2) classOf与getClass方法的差异 http://hongjiang.info/scala-type-system-classof-and-getclass/
scala类型系统：3) 单例类型 http://hongjiang.info/scala-type-system-singleton-type/
scala类型系统：4) 内部类，路径依赖类型&类型投影 http://hongjiang.info/scala-type-system-inner-type-and-type-projection/

Member Author

hongjiang commented Oct 24, 2013

scala类型系统：5) 结构类型 http://hongjiang.info/scala-type-system-structural-type/
scala类型系统：6) 复合类型与with关键字 http://hongjiang.info/scala-type-system-compund-type/
scala类型系统：7) 中缀类型 http://hongjiang.info/scala-type-system-infix-type/
scala类型系统：8) type关键字 http://hongjiang.info/scala-type-system-type-keyword/
scala类型系统：9) this别名&自身类型 http://hongjiang.info/scala-type-system-self-type/
scala类型系统：10) 交集类型与联合类型 http://hongjiang.info/scala-intersection-type-and-union-type/
scala类型系统：11) upper bounds & lower bounds http://hongjiang.info/scala-upper-bounds-and-lower-bounds/
scala类型系统：12) view bounds http://hongjiang.info/scala-type-system-view-bounds/
scala类型系统：13) context bounds http://hongjiang.info/scala-type-system-context-bounds/
scala类型系统：14) multiple bounds http://hongjiang.info/scala-type-system-multiple-bounds/
scala类型系统：15) 协变与逆变 http://hongjiang.info/scala-covariance-and-contravariance/
scala类型系统：16) 函数类型 http://hongjiang.info/scala-function-type/

Member Author

hongjiang commented Oct 24, 2013

对 10.19 号分析的《scala类型系统》ppt中的纠错，把 early definition 也当成结构类型了。
scala类型系统：17) 结构类型的细节问题 http://hongjiang.info/scala-structural-type-detail/

Member Author

hongjiang commented Nov 5, 2013

scala类型系统：18) 不稳定(volatile)类型 http://hongjiang.info/scala-type-system-volatile-type/
scala类型系统：19) Manifest与TypeTag http://hongjiang.info/scala-type-system-manifest-vs-typetag/

Member Author

hongjiang commented Nov 5, 2013

scala类型系统：20) 数组类型 http://hongjiang.info/scala-type-system-array-type/

Member Author

hongjiang commented Nov 7, 2013

scala类型系统：21) type specialization与类爆炸 http://hongjiang.info/scala-type-specialization/
scala类型系统：22) 类型约束与特定方法 http://hongjiang.info/scala-type-contraints-and-specialized-methods/

Member Author

hongjiang commented Nov 10, 2013

scala类型系统：23) 用类型证明实现联合类型 http://hongjiang.info/scala-type-evidence-and-union-type/
scala类型系统：24) 理解 higher-kinded-type http://hongjiang.info/scala-higher-kinded-type/
scala类型系统：25) type lambda http://hongjiang.info/scala-type-lambda/
scala类型系统：26) type classes模式 http://hongjiang.info/scala-type-classes-pattern/

Member Author

hongjiang commented Dec 7, 2013

scala类型系统：27) 回顾常见的type classes http://hongjiang.info/scala-type-classes-review/
scala类型系统：28) 依赖类型 http://hongjiang.info/scala-type-system-dependent-types/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment