Scala的Higher-Kinded类型

Scala的Higher-Kinded类型 Higher-Kinded从字面意思上看是更高级的分类,也就是更高一级的抽象。我们先看个例子。 如果我们要在scala中实现一个对Seq[Int]的sum方法,应该怎么做呢? def sum(seq: Seq[Int]): Int = seq reduce (_ + _) sum(Vector(1,2,3,4,5)) // 结果值: 15 看起来很简单,…

Scala的存在类型

Scala的存在类型 存在类型也叫existential type,是对类型做抽象的一种方法。可以在你不知道具体类型的情况下,就断言该类型存在。 存在类型用_来表示,你可以把它看成java中的?。 下面是存在类型的具体例子: 简写 完整形式 描述 Seq[_] Seq[T] forSome {type T} T 可以是Any 的任意子类 Seq[_ <: A] Seq[T] forSome …

Scala的自定义类型标记

Scala的自定义类型标记 Scala中有很多千奇百怪的符号标记,看起来是那么的独特,就像是一杯dry martini…好像黑夜中的萤火虫,那么耀眼,那么出众。 好了言归正传,这一篇文章我们会讲一下Scala中的自定义类型标记,通过自定义类型标记可以将this指向额外的类型期望。 我们先看一个观察者模式的例子: abstract class SubjectObserver { type…

scala教程之:可见性规则

和java很类似,scala也有自己的可见性规则,不同的是scala只有private和protected关键字,没有public关键字,同时scala还提供了更加细粒度的访问控制如protected[scope]和private[scope]。 public scala中默认的访问权限就是public,这意味着在scala中没有可见性关键字的声明体,他的访问权限就是public,是具有公有可见性…

Scala教程之:深入理解协变和逆变

在之前的文章中我们简单的介绍过scala中的协变和逆变,我们使用+ 来表示协变类型;使用-表示逆变类型;非转化类型不需要添加标记。 假如我们定义一个class C[+A] {} ,这里A的类型参数是协变的,这就意味着在方法需要参数是C[AnyRef]的时候,我们可以是用C[String]来代替。 同样的道理如果我们定义一个class C[-A] {}, 这里A的类型是逆变的,这就意味着在方法需要参…

Scala教程之:Either

在之前的文章中我们提到了Option,scala中Option表示存在0或者1个元素,如果在处理异常的时候Option就会有很大的限制,因为Option如果返回None,那么我并不知道具体的异常到底是什么,这样scala引入了Either。 顾名思意,Either表示或者是这一个元素或者是那个元素。这样在异常处理的时候就非常有用了。 我们先看一下Either的定义: sealed abstract…

Scala教程之:可变和不变集合

集合在程序中是非常有用的,只有用好集合才能真正感受到该语言的魅力。在scala中集合主要在三个包里面:scala.collection, scala.collection.immutable和scala.collection.mutable。 scala中引入不可变集合是为了方便程序的使用并减少在程序中的未知风险。如果一个集合被定义为不可变的,那么我们在使用的过程中就可以指定该集合是不会变化的,可…

Scala教程之:Future和Promise

在scala中可以方便的实现异步操作,这里是通过Future来实现的,和java中的Future很相似,但是功能更加强大。 定义返回Future的方法 下面我们看下如何定义一个返回Future的方法: println(“Step 1: Define a method which returns a Future”) import scala.concurrent.Future import sca…

Scala教程之:PartialFunction

Scala中有一个很有用的traits叫PartialFunction,我看了下别人的翻译叫做偏函数,但是我觉得部分函数更加确切。 那么PartialFunction是做什么用的呢?简单点说PartialFunction用在模式匹配中,是一个不完整的函数,它只实现了函数的部分功能,也就是列举了部分case的情况。 我们先看下PartialFunction的定义: trait PartialFunc…

Scala教程之:Enumeration

Enumeration应该算是程序语言里面比较通用的一个类型,在scala中也存在这样的类型, 我们看下Enumeration的定义: abstract class Enumeration (initial: Int) extends Serializable Enumeration是一个抽象类,它定义四个value方法,来设置内部的值, 四个value方法如下定义: /** Creates a …