Question

根据this用Haskell撰写的博客文章，我正在Scala中实现无标签的最终DSL和解释器。

我可以运行一个示例-参见下面的代码，但我不太明白为什么需要testVal(Interp)(Interp)。如果我仅提供一个Interp参数，则会出现以下编译错误：

Error:(29, 24) could not find implicit value for evidence parameter of type Test.Expr[Test.Id]
        val x = testVal(Interp)
Error:(29, 24) not enough arguments for method testVal: (implicit evidence$1: Test.Expr[Test.Id])Test.Id[Int].
Unspecified value parameter evidence$1.
        val x = testVal(Interp)

是否有一种简单的方法来消除Interp参数之一？

object Test {
    trait Expr[F[_]] {
        def const(i: Int): F[Int]
        def lam[A, B](f: F[A] => F[B]): F[A => B]
        def app[A, B](f: F[A => B], a: F[A]): F[B]
        def add(x: F[Int], y: F[Int]): F[Int]
    }

    type Id[A] = A

    object Interp extends Expr[Id] {
        override def const(i: Int): Id[Int] = i
        override def lam[A, B](f: Id[A] => Id[B]): Id[A => B] = f
        override def app[A, B](f: Id[A => B], a: Id[A]): Id[B] = f(a)
        override def add(x: Id[Int], y: Id[Int]): Id[Int] = x + y
    }

    def testVal[F[_]: Expr](f: Expr[F]): F[Int] =
        f.app(
            f.lam[Int, Int](
                x => f.add(x, f.const(1))),
            f.const(10)
        )

    def main(args: Array[String]): Unit = {
        // val x = testVal(Interp) -- won't compile
        val x = testVal(Interp)(Interp)
        println(x)
    }
}

Answer 1

语法

default void sort(Comparator<? super E> c) {
    Object[] a = this.toArray();
    Arrays.sort(a, (Comparator) c);
    ListIterator<E> i = this.listIterator();
    for (Object e : a) {
        i.next();
        i.set((E) e);
    }
}

是

的快捷方式

ArrayList

所以如果你写

sort

那么就跟你写的一样

public void sort(Comparator<? super E> c) {
    final int expectedModCount = modCount;
    Arrays.sort((E[]) elementData, 0, size, c);
    if (modCount != expectedModCount) {
        throw new ConcurrentModificationException();
    }
    modCount++;
}

但是您显然不需要两次相同的def f[X: Y](args: Types): Res = { ... }。

签名应为

def f[X](args: Types)(implicit yx: Y[X]): Res = { ... }

或

def testVal[F[_]: Expr](f: Expr[F]): F[Int] = { ... }

但不能同时使用。

这是一个完整的示例，它还显示了在您决定使用def testVal[F[_]](f: Expr[F])(implicit redundant: Expr[F]): F[Int] = { ... }变体（不为其指定名称）的情况下如何使用Expr[F]获取def testVal[F[_]: Expr]: F[Int]的示例。隐式参数）：

def testVal[F[_]](implicit f: Expr[F]): F[Int]

此外，如果将f本身设为隐式，则可以在调用implicitly时省略所有参数列表，而只写

F: Expr

Scala中的无标签最终示例需要多余的第二次插入

1 个答案: