Общий вывод Typescript из реализации интерфейса

Ваша проблема в том, что ICommand<T> структурно не зависит от T (как указано в комментарии @CRice).

Это не рекомендуется. (⬅ ссылка на раздел часто задаваемых вопросов о TypeScript, в котором подробно описан случай, который почти полностью совпадает с этим, так что это как можно более близкое к официальному слову)

Система типов TypeScript является (в основном) структурной, а не номинальной: два типа одинаковы тогда и только тогда, когда они имеют одинаковую форму (например, имеют одинаковые свойства), и это не имеет никакого отношения к тому, имеют ли они одинаковое имя. Если ICommand<T> не структурно зависит от T и ни одно из его свойств не имеет ничего общего с T, тогда ICommand<string> является тем же типом, что и ICommand<number>, то есть того же типа как ICommand<ICommand<boolean>>, который относится к тому же типу, что и ICommand<{}>. Да, это разные имена, но система типов не является номинальной, так что это не имеет большого значения.

В таких случаях нельзя полагаться на вывод типа. Когда вы вызываете execute(), компилятор пытается вывести тип для T в ICommand<T>, но ничего не может сделать. Таким образом, по умолчанию используется пустой тип {}.

Чтобы исправить это, нужно сделать ICommand<T> структурно зависимым от T и убедиться, что любой тип, реализующий ICommand<Something>, делает это правильно. Один из способов сделать это с учетом вашего примера кода:

interface ICommand<T> { 
  id: T;
}

Таким образом, ICommand<T> должен иметь свойство id типа T. К счастью, GetSomethingByIdCommand действительно имеет свойство id типа string, как того требует implements ICommand<string>, так что компилируется нормально.

И, что немаловажно, вывод, который вы хотите, действительно происходит:

// goodResult is inferred as string even without manually specifying T
let goodResult = bus.execute(new GetSomethingByIdCommand('1'))

Хорошо, надеюсь, что это поможет; удачи!

Кажется, что Typescript может правильно вывести тип, если конкретный тип приведен к его универсальному эквиваленту до того, как он будет передан в ICommandBus.execute():

let command: ICommand<string> = new GetSomethingByIdCommand('1')
let badResult = bus.execute(command)

Or:

let badResult = bus.execute(new GetSomethingByIdCommand('1') as ICommand<string>)

Это не совсем элегантное решение, но оно работает. Очевидно, что обобщенные типы машинописных текстов не очень функциональны.

TS не может вывести интерфейс, который реализует этот метод, так, как вы этого хотите.

Здесь происходит следующее: когда вы создаете экземпляр нового класса:

new GetSomethingByIdCommand('1') 

Результатом создания экземпляра нового класса является объект. По этой причине execute<T> вернет объект вместо ожидаемой строки.

Вам нужно будет выполнить проверку типа после того, как функция execute вернет результат.

В случае объекта vs строка вы можете просто выполнить проверку типа.

const bus = new CommandBus()
const busResult = bus.execute(new GetSomethingByIdCommand('1'));
if(typeof busResult === 'string') { 
    ....
}

Это отлично работает во время выполнения, когда машинописный текст скомпилирован в простой JS.

В случае объектов или массивов (которые также являются объектами: D) вы должны использовать защиту типа.

Type Guard пытается применить к чему-либо элемент, проверяет, существует ли свойство, и делает вывод, какая модель использовалась.

interface A {
  id: string;
  name: string;
}

interface B {
  id: string;
  value: number;
}

function isA(item: A | B): item is A {
  return (<A>item).name ? true : false;
}