Как превратить Ceylon Sequential или массив в общий Tuple с соответствующим типом?

Question

У меня есть общая функция, которая должна создать Tuple для вызова функции, аргументы которой я не знаю.

Нечто подобное (кроме array в этом примере создается некоторый внешний код, так что я не могу просто применить функцию непосредственно):

Result apply<Result, Where>(
    Anything[] array, 
    Callable<Result, Where> fun) 
     given Where satisfies Anything[] => nothing; 

Есть ли тип-безопасный способ реализации этого метода и получить функцию, которая должна быть вызвана с данными аргументами?

Answer 1

Это не может быть сделана полностью типа, благополучно ... но при условии, что массив действительно содержит элементы правильных типов, они должны появиться в Кортеже типа Where, следующая функция будет делать трюк:

Tuple<Anything, Anything, Anything> typedTuple({Anything+} array) { 
    if (exists second = array.rest.first) { 
     return Tuple(array.first, typedTuple({ second }.chain(array.rest.rest))); 
    } 
    else { 
     return Tuple(array.first, []); 
    } 
} 

и применять получает реализован как:

Result apply<Result, Where>(
    [Anything+] array, 
    Callable<Result, Where> fun) 
     given Where satisfies Anything[] { 
    value tuple = typedTuple(array); 
    assert(is Where tuple); 
    return fun(*tuple); 
} 

Answer 2

Ничего не связано с типом array с параметрами fun, так что подпись не может быть реализована безопасным способом. Вы вообще не ограничиваете тип array; он может содержать что угодно. Как в принципе, безопасная по типу реализация обрабатывает случай, когда fun ожидает [String, Integer], но array - [Boolean+]?