Scala 3中对应Haskell部分应用类型构造器的实现方式

完全可以通过Scala 3的高阶类型支持实现，而且能写出和Haskell风格非常接近的代码。下面一步步拆解实现：

1. 定义Functor特质 #

Scala没有内置Functor，我们先定义符合需求的特质，对应Haskell的Functor类型类：

trait Functor[F[_]]:
  def fmap[A, B](f: A => B): F[A] => F[B]

这里F[_]是单参数类型构造器，对应Haskell中Functor要求的* -> * kind。

2. 用类型lambda实现部分应用类型构造器 #

Haskell中把双参数的(->)部分应用为(->) r，对应Scala里的函数类型R => A（即Function1[R, A]）。我们需要把双参数的Function1固定第一个参数R，得到符合F[_]要求的单参数构造器。

Scala 3的类型lambda[A] =>> R => A就是干这个的，它等价于Haskell的(->) R，完美实现了类型构造器的部分应用。

3. 实现函数类型的Functor实例 #

基于类型lambda，我们可以给任意输入类型R的函数类型实现Functor实例：

given [R]: Functor[[A] =>> R => A] with
  def fmap[A, B](f: A => B): (R => A) => (R => B) =
    g => x => f(g(x))

这个fmap的定义和Haskell的fmap f g = (\x -> f (g x))完全对应，本质就是函数组合（f . g）。

4. 更贴近Haskell的写法（可选） #

如果想让类型写法和Haskell完全一致，可以给函数类型起别名：

type ->[R, A] = R => A

// 用别名实现Functor实例
given [R]: Functor[[A] =>> R -> A] with
  def fmap[A, B](f: A => B): (R -> A) -> (R -> B) =
    g => x => f(g(x))

现在R -> A的写法和Haskell完全对齐，视觉上更直观。

5. 使用示例 #

定义测试函数验证fmap的效果：

// 输入Int输出String的函数
val intToString: Int -> String = _.toString
// 输入String输出Int的函数
val stringLength: String -> Int = _.length

// 用fmap组合两个函数，得到Int->Int的函数
val composed = summon[Functor[[A] =>> Int -> A]].fmap(stringLength)(intToString)

// 调用测试
println(composed(1234)) // 输出4

也可以用上下文绑定简化调用代码：

def applyFmap[F[_]: Functor, A, B](fa: F[A], f: A => B): F[B] =
  summon[Functor[F]].fmap(f)(fa)

val result = applyFmap(intToString, stringLength)
println(result(567)) // 输出3

内容的提问来源于stack exchange，提问作者Max