Тюнинг Swift компилятора. Часть 1

Тут возвращаемое значение метода Select вычисляется благодаря параметру типа Func<T, Tuple<string, int>. Я же говорю о следующей ситуации:

public interface IMessage
{
    string Text { get; set; }
}

public static class MessageFactory
{
    static T Create<T>(string message) where T: IMessage, new()
    {
        var result = T();
        result.Message = message;
        return result;
    }
}

Для вызова метода Create необходимо явно указать тип в самом вызове:

var message1 = MessageFactory.Create<SimpleMessage>("Hello world")
SimpleMessage message2 = MessageFactory.Create<SimpleMessage>("Hello world again")

Swift, в свою очередь, позволяет сделать следующее:

protocol Message {
    init()
    var text: String { get set }
}

class MessageFactory {
    static func create<T: Message>(text: String) -> T {
        var result = T()
        result.text = text
        return result
    }
}

let message: SimpleMessage = MessageFactory.create(text: "Hello world")

Как видите, тип не фигурирует в вызове, только в объявлении переменной. То есть, в данном случае, компилятор не тип выражения выводит исходя из того, что возвращает функция, а тип возвращаемого значения выводит из того, в каком выражении участвует вызов.