Ceylon 中的递归别名

Question

我是 Ceylon 的新手，目前正在探索如何将一些用 TypeScript（主要是 JavaScript）编写的现有软件移植到 Ceylon，以便它可以在 JavaScript 引擎和 JVM 上运行。

有人知道如何在 Ceylon 中编写类似 Java 的代码吗：

public class Engine { ... } // Some given class definition

public interface Cont extends Callable1<Cont,Engine> {}

其中Callable1<Y,X> 是 Ceylon 的 Callable<Y,[X]> 的 Java 等价物。

这个想法是Cont 的实例，比如名为c，将是一个返回另一个Cont 或null 的函数。

在 Java 中，使用它的代码如下所示：

// Somewhere
public static void exec(Cont c, Engine e) {
  while (c != null) c = c.call(e);
}

（这本质上是一个蹦床，每个被调用的函数都返回延续，或者在计算完成时返回null。）

另外，在锡兰我想将函数作为 Cont 的实例传递。

---

阅读回复后，我提出了以下解决方案，它使用正确的结果类型（Cont? 而不是Anything）和null-testing（用于性能）：

shared interface Cont { shared formal Cont? call(Engine e); }

// A wrapper class for an actual continuation function
class ContWrap(Cont?(Engine) fun) satisfies Cont {
    shared actual Cont? call(Engine e) => fun(e);
}

shared Cont wrap(Cont?(Engine) fun) {
    return ContWrap(fun);
}

// Somewhere
shared void exec(variable Cont? cont) {
    while (exists cc = cont) {
        cont = cc.call(this);
    }
}

这适合我，代价是每次都创建一个额外的小对象，并通过 wrap 传递函数。

Answer 1

Callable 的自定义实现是 discussed，但目前还不可能。不过，你不需要那个。

shared class Engine() {
    // ...
}

shared interface Continuation {
    shared formal Continuation? call(Engine engine);
}

shared void execute(variable Continuation? continuation, Engine engine) {
    while ((continuation = continuation?.call(engine)) exists) {}
}

object continuation satisfies Continuation {
    call(Engine engine) => null;
}

// usage
execute(continuation, Engine());

// usage in 1.2 with inline object expression
execute(object satisfies Continuation { call(Engine engine) => null; }, Engine());

由于Continuation 不（不能）满足Callable，你不能只传入一个函数。但是在即将发布的版本中（1.2，现在可以通过 GitHub 获得），你至少可以使用inline object expressions。

请注意，这不是惯用的 Ceylon，只是从您的 Java 相当直接的翻译。

Answer 2

这似乎可以编译，但看起来很可怕：

class Engine() {}

Anything(Engine) foo(Engine e) {
    return foo;
}

// Somewhere
variable Anything(Engine)? f = foo;
while (is Anything(Engine)(Engine) f2=f) {
    f = f2(e);
}