Como inferir o parâmetro de tipo correto de um tipo de projeção?

Eu tenho alguns problemas com Scala para inferir o tipo certo de uma projeção de tipo.Considere o seguinte:

Por que o javac não pode inferir argumentos de tipo genérico para funções usadas como argumentos?

Inferência do tipo Scala em um tipo existencial

Considere o seguinte trecho de código, que é uma versão reduzida do meu problema original:

Inferência de tipo genérico em Scala

Eu escrevi o seguinte código, que é na verdade uma implementação de merge-sort no scala:

F # maneiras de ajudar a inferência de tipo?

EmExpert F # 2.0 por Don Syme, Adam Granicz e Antonio Cisternino, pg. 44Inferência de tipos: Utilizar o operador |> permite digitar o fluxo de informações...

Por que o diamante não pode inferir tipos em classes internas anônimas?

No Java 7 e posterior, o diamante pode ser usado para inferir tipos normalmente sem um problema:

Algoritmo de inferência de tipo Go

Que tipo de algoritmo de inferência o compilador Go usa?Eu tentei procurar isso no golang, mas não consigo encontrar documentação. Estou tentado a supor que ...

Como a inferência de tipos funciona na presença de dependências funcionais

Convertendo OCaml para F #: Diferenças entre digitação e inferência de tipos

Na pesquisainferência de tipos diferenças entre F # e OCaml eu achei que eles tendem a se concentrar emnominativo vs.estrutural sistema de tipos. Então eu en...

C ++ 11 tipos de retorno automáticos e de função