ceylon - 泛型类中的方法能否返回与其参数列表具有相同类型的元组？

Question

我想要这样的东西:

[String, Integer] values = SomeClass("Hi", 1).values();
[Boolean, Float] others = SomeClass(true, 2.0).values();

// EDIT - should return tuple with same type as the arguments list
[String] strs = SomeClass("Strings").values();

这对 Ceylon 泛型来说可能吗？

我怀疑在阅读 about currying in Ceylon 后可能会出现类似的情况，但我现在无法弄清楚!!

Answer 1

class SomeClass<Args>(Args args)
            given Args satisfies Tuple<Anything, Anything, Anything[]> {
    shared Args values() => args;
}

[String, Integer] foo = SomeClass(["Hi", 1]).values();
[Boolean, Float] bar = SomeClass([true, 2.0]).values();
[String] baz = SomeClass(["Strings"]).values();