4

我的目标是通过对 SAM(单一抽象方法)特征的新 scala 2.12 支持来实现代数数据类型(教堂编码)的单例值。

在 Java 中,以下程序返回true

import java.util.function.Function;
import java.util.function.Supplier;

@FunctionalInterface
public interface Maybe<A> {

  <X> X fold(Supplier<X> empty, Function<A, X> just);

  static <A, X> X empty0(Supplier<X> empty, Function<A, X> just) {
    return empty.get();
  }

  static <A> Maybe<A> empty() {
      return Maybe::empty0;
  }

  static void main(String[] args) {
    Maybe<?> emptyString = Maybe.<String>empty();
    Maybe<?> emptyInt = Maybe.<Integer>empty();

    System.out.println(emptyString == emptyInt); // print "true".
  }
}

我尝试将此编码移植到 scala 2.12,但无法编译:

@FunctionalInterface
trait Maybe[A] {
  def fold[X](empty: => X, just: A => X): X
}

object Maybe {
  def empty0[A, X](empty: => X, just: A => X): X = empty

  def empty[A]: Maybe[A] = empty0(_ ,_) // does not compile

  def main(args: Array[String]): Unit = {
    val emptyString: Maybe[String] = Maybe.empty
    val emptyInt: Maybe[Integer] = Maybe.empty

    print(emptyString eq emptyInt) // how to make this print "true"???
  }
}

我得到的错误是: missing parameter type for expanded function ((x$1: <error>, x$2: <error>) => empty0(x$1, x$2))

我的目标是让 scalac 触发 Javac 完成的相同优化,使 java 程序打印“真”。只要它不使用asInstanceOf也不使用Nothing/variance 注释,我愿意满足 scalac 所需的一切。

编辑:由于目前不支持此功能,因此我在 scala 问题跟踪器上为此打开了一个功能请求(请投票!;-)。

4

1 回答 1

3

不幸的是,根据规范是不允许的:

它遵循:

  • 如果类 C 定义了一个构造函数,它必须是可访问的,并且必须准确定义一个空参数列表;

  • m 不能是多态的

  • 必须可以通过推断 C 的任何未知类型参数从 S 派生一个完全定义的类型 U。

于 2016-09-06T20:06:14.383 回答