HeartBleed's questions

Desculpe por fazer uma pergunta de noob. Estou lendo C# em profundidade, onde o autor escreve em 9.4.3 inferência de tipo de duas fases

static void PrintConvertedValue<TInput,TOutput>
(TInput input, Converter<TInput,TOutput> converter)
{
    Console.WriteLine(converter(input));
}

// ...

PrintConvertedValue("I'm a string", x => x.Length);

TInputnão depende de nenhum parâmetro de tipo não fixo, então é fixo em string.

Eu estava tentando esse código, mas falhou:

public class Program
{
    public void foo<type1, type2>(List<type1> foo,Func<type1, type2> bar) { }

    public static void Main(string[] args)
    {
        new Program().foo(new List<int>(), (string str)=> str.Lenth);
    }
}

Eu queria saber se alguém poderia me mostrar o exemplo "TInput depende de qualquer parâmetro de tipo não fixo", ou seja, como o próprio parâmetro de tipo pode ser dependente de outro parâmetro de tipo para ser inferido?

Sou novato em python e estou tentando obter alguns detalhes. Então, eu estava lendo Python Types and Objects, de Shalabh Chaturvedi, quando todo o pequeno livro fez sentido para mim, encontrei este parágrafo.

Existem dois tipos de objetos em Python:

1. Objetos de tipo - podem criar instâncias, podem ser subclassificados.

2. Objetos sem tipo - não podem criar instâncias, não podem ser subclassificados.

...

Para criar um novo objeto usando subclasses, usamos a instrução class e especificamos as bases (e, opcionalmente, o tipo) do novo objeto. Isso sempre cria um objeto de tipo.

Para criar um novo objeto usando instanciação, usamos o operador de chamada ( ()) no tipo de objeto que queremos usar. Isso pode criar um objeto de tipo ou não, dependendo de qual objeto de tipo foi usado .

o último parágrafo com texto em itálico me escapou totalmente. Achei que chamar someTypeObject()sempre criava uma instância do tipo objeto.

Pesquisei no Google e tentei o ChatGPT, mas não consegui a resposta adequada