From 11dd285d639ef7e0c3e3448ded2177fa8dbc016e Mon Sep 17 00:00:00 2001 From: skyupward <10449313+skyupward@users.noreply.github.com> Date: Sun, 15 Dec 2019 23:10:45 +0800 Subject: [PATCH] Repaired a logical error in chinese tour of scala. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit A logical error in chinese tour of scala. Repaired from "隐式地用前者代替后者" to "隐式地用后者代替前者" --- _zh-cn/tour/variances.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_zh-cn/tour/variances.md b/_zh-cn/tour/variances.md index 09ab894ec1..257c1a78d6 100644 --- a/_zh-cn/tour/variances.md +++ b/_zh-cn/tour/variances.md @@ -145,7 +145,7 @@ abstract class SmallAnimal extends Animal case class Mouse(name: String) extends SmallAnimal ``` -假设我们正在处理接受动物类型的函数,并返回他们的食物类型。 如果我们想要一个 `Cat => SmallAnimal`(因为猫吃小动物),但是给它一个 `Animal => Mouse`,我们的程序仍然可以工作。 直观地看,一个 `Animal => Mouse` 的函数仍然会接受一个 `Cat` 作为参数,因为 `Cat` 即是一个 `Animal`,并且这个函数返回一个 `Mouse`,也是一个 `SmallAnimal`。 既然我们可以安全地,隐式地用前者代替后者,我们可以说 `Animal => Mouse` 是 `Cat => SmallAnimal` 的子类型。 +假设我们正在处理接受动物类型的函数,并返回他们的食物类型。 如果我们想要一个 `Cat => SmallAnimal`(因为猫吃小动物),但是给它一个 `Animal => Mouse`,我们的程序仍然可以工作。 直观地看,一个 `Animal => Mouse` 的函数仍然会接受一个 `Cat` 作为参数,因为 `Cat` 即是一个 `Animal`,并且这个函数返回一个 `Mouse`,也是一个 `SmallAnimal`。 既然我们可以安全地,隐式地用后者代替前者,我们可以说 `Animal => Mouse` 是 `Cat => SmallAnimal` 的子类型。 ### 与其他语言的比较