随笔分类 - scala
摘要：另一个可以帮助理解型变的例子是 Scala 标准库中的 trait Function1[-T, +R]。 Function1 表示具有一个参数的函数，其中第一个类型参数 T 表示参数类型，第二个类型参数 R 表示返回类型。 Function1 在其参数类型上是逆变的，并且在其返回类型上是协变的。 对
阅读全文
摘要：型变是复杂类型的子类型关系与其组件类型的子类型关系的相关性。 Scala支持 泛型类 的类型参数的型变注释，允许它们是协变的，逆变的，或在没有使用注释的情况下是不变的。 在类型系统中使用型变允许我们在复杂类型之间建立直观的连接，而缺乏型变则会限制类抽象的重用性。 class Foo[+A] // A
阅读全文
摘要：scalaz功能基本上由以下三部分组成： 1、新的数据类型，如：Validation, NonEmptyList ... 2、标准scala类型的延伸类型，如：OptionOps, ListOps ... 3、通过typeclass的随意多态（ad-hoc polymorphism）编程模式实现的大
阅读全文
摘要：类型参数化 在scala中，类型参数化(类似于泛型)使用方括号实现，如：Foo[A]，同时，我们称Foo为高阶类型。如果一个高阶类型有2个类型参数，则在声明变量类型时可以使用中缀形式来表达，此时也称该高阶类型为中缀类型，示例如下： class Foo[A,B] val x:Int Foo Strin
阅读全文
摘要：大致介绍了幺半群(monoid)后，我们重新回顾最初引用wadler(haskell委员会成员，把monad引入haskell的家伙)的那句话： 现在我们来解读这句话中包含的另一个概念：自函子(Endofunctor)，不过我们先需要一些铺垫： 首先，什么是函子(Functor)？ 乍一看名字，以为
阅读全文
摘要：One of the more powerful features Scala has is the ability to generically abstract across things that take type parameters. This feature is known as H
阅读全文
摘要：http://adriaanm.github.io/files/higher.pdf https://www.atlassian.com/blog/archives/scala-types-of-a-higher-kind
阅读全文
摘要：, pronounced "type", is the kind of all data types seen as nullary type constructors, and also called proper types in this context. This normally incl
阅读全文
摘要：高级类类型就是使用其他类型构造成为一个新的类型，因此也称为 类型构造器(type constructors)。它的语法和高阶函数(higher-order functions)相似，高阶函数就是将其它函数作为参数的函数；高级类类型则是将构造类类型作为参数类型。一个高级类类型可以有一个或者多个类型作为
阅读全文
摘要：首先我们从最基本的泛型来看： 现在我们对上面泛型中的类型参数再进一步，也是个泛型会如何呢？ 可以看到，java中不支持类型参数也是泛型类型的情况，而scala支持。这是一个很重要的区别，scala在类型系统上要比java强大。我们现在简单对类型归纳一下，可以分为两类: 1）特定类型(proper t
阅读全文