Praca nad brakiem częściowego wnioskowania rodzajowego z ograniczeniami

Mam interfejs (używany przez repozytoria), który ma tego członka:

Dlaczego scala nie wnioskuje o typie z ogólnych parametrów typu?

Niepełny podpis typu

Wnioskowanie sygnatury połączenia lambda lub arbitralnego wywołania dla „make_function”

Jakie są ograniczenia wnioskowania o wyższych typach w Scali?

W następującym uproszczonym kodzie przykładowym:

Wymuszanie wnioskowania typu F # na generycznych i interfejsach, aby pozostać luźnym

Dlaczego kompilator C # nie może wywnioskować delegowania typu ogólnego z podpisu funkcji? [duplikować

To pytanie ma już odpowiedź tutaj: Dlaczego nie można wywnioskować typu na podstawie tego z pozoru prostego, oczywistego przypadku [/questions/6229131/why-cant-c-sharp-infer-type-from-this-seemingly-simple-obvious-case] 5 odpowiedzi Pracuję z ...

Haskell: wnioskowanie typu i skład funkcji

To pytanie zostało zainspirowane przez toodpowiedź na inne pytanie, wskazując, że możesz usunąć każde wystąpienie elementu z listy za pomocą funkcji zdefinio...

Dlaczego javac nie może wywnioskować ogólnych argumentów typu dla funkcji używanych jako argumenty?

W poniższym przykładzie dlaczego kompilator może wywnioskować ogólne argumenty dla pierwszego wywołania

Wnioskowanie typu Scala na typ egzystencjalny

Rozważ następujący fragment kodu, który jest zredukowaną wersją mojego pierwotnego problemu: