Bir Seylan Dizisi veya dizisi uygun türdeki genel bir Tuple'ye nasıl dönüştürülür?

Question

Argümanları türlerini bilmediğim bir işlevi çağırmak için bir Tuple oluşturması gereken genel bir işlev var. Böyle

şey (bu örnekte array dışında bazı dış kod tarafından oluşturulan, bu yüzden sadece işlevi doğrudan uygulayamazsınız):

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

bu yöntemi uygulamak için bir tip-güvenli yolu var mı ve verilen argümanlar ile çağrılacak işlevi almak?

Answer 1

Bu

tamamen bitmiş tip-güvenli ... ama tip Where bir kayıt düzeni görünmesi gerektiği gibi dizi gerçekten doğru türde öğeleri içerir varsayarak edilemez, aşağıdaki fonksiyon hile olacaktır olarak

ve uygulamak uygulanan alır: öyle değil zaman tuple türü `Where` varsa ve jenerik olarak sizin diziden nesneler doldurarak bu tür bir demet oluşturmak istiyorum Yani

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

fun parametrelerine array türüyle ilgili hiçbir şey yoktur, bu sayede imza güvenli bir şekilde uygulanamaz. array türünü hiç kısıtlamıyorsunuz; herhangi bir şey içerebilir. Prensipte, bir tür güvenli uygulama, fun[String, Integer] ancak array'un [Boolean+] olduğu durumu nasıl ele alır?

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, []); 
    } 
} 

: