我的目标是通过对 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 问题跟踪器上为此打开了一个功能请求(请投票!;-)。