Scala 3 从属类型

Scala 3 从属类型

4 years ago

source link: https://blog.oyanglul.us/scala/dotty/dependent-types
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

Scala 3 从属类型

中文 | English

可以跑的源码在这里 👉 https://github.com/jcouyang/meow

Scala 2

如果经常使用 Shapeless, 你可能会熟悉一种叫 Aux 的 Pattern 这个pattern经常用来推倒输出类型

trait Second[L <: HList] {
  type Out
  def apply(value: L): Out
}

object Second {
  type Aux[L <: HList, O] = Second[L] { type Out = O }

  def apply[L <: HList](implicit inst: Second[L]): Aux[L, inst.Out] =
    inst
}

Second(1 :: "2" :: HNil)

"2"

可以看见这个 Second 是 dependent types, 也就是说他的类型取决于输入的类型，比如现在换一个 HList，他的输出就不是 String 了：

Second("1" :: 2 :: HNil)
// => 2

输入变成 Int 了。

Scala 3

在 Scala 3 我们不仅可以用dependent methods，还可以声明 dependent function https://dotty.epfl.ch/docs/reference/new-types/dependent-function-types.html 。也就是上面那个例子，可以进一步的简化：

trait Second[L <: HList] {
  type Out
  def apply(value: L): Out
}

object Second {
  def apply[L <: HList](value: L) = (inst: Second[L]) ?=> inst(value)
}

其中 ?=> https://dotty.epfl.ch/docs/reference/contextual/context-bounds.html 里面的问号并不是我的typo，这是简写的 (using inst: Second[L]) => inst(value)

注意看前后的区别:

- def apply[L <: HList](implicit inst: Second[L]): Aux[L, inst.Out] =
    inst
+ def apply[L <: HList](value: L) = (inst: Second[L]) ?=> inst(value)

以前需要标明method类型为dependent types Aux[L, inst.Out]

现在你看，我们可以把 Aux 和 Out 消除掉，因为你可以直接返回一个 dependent function

如果你给这个 dependent function 标类型的话：

def apply[L <: HList](value: L): (inst: Second[L]) ?=> inst.Out =
 (inst: Second[L]) ?=> inst(value)

它就跟Scala 2 dependent method的时候很像了，但是我们还是不用 Aux 类型的帮助。

如果懒得拉源代码下来玩，可以在 scastie 上试试 https://scastie.scala-lang.org/fyxXSR3ASj6rSkkERnUK7g

Recommend

106

scala.cool 7 years ago
Cache

Dive Into Kotlin（一）：初探 Kotlin - Scala Cool

在今年的 Google I/O 大会上，Google 宣布在 Android 上为 Kotlin 提供一等支持（转为正房）。在 Andorid 开发的圈子中，这无疑掀起了轩然大浪。对部分人来说，也许这是第一次...

scala.cool 7 years ago
Cache

Asyncdb（三）：Java NIO - Scala Cool

上篇说了最基础的五种IO模型，相信大家对IO相关的概念应该有了一定的了解，这篇文章主要讲讲基于多路复用IO的Java NIO。 Java诞生至今，有好多种IO模型，从最早的Java IO到后来的Java NIO以及最新的Java AIO，每种IO模型都有它自己的特点，详情请看我的上篇文...

105

medium.com 7 years ago
Cache

NeoVim + Scala – Alan Devlin – Medium

I am going to walk you through my vim/scala setup. I try to walk a balance between replicating IDE like features and keeping things minimal. We are going to add the following features to vim: My…