Perguntas com a marcação «type-inference»

A inferência de tipos é o processo de inferir tipos para programas automaticamente, usando regras definidas por um sistema de tipos.

406
Uso da palavra-chave var em C #

Bloqueado . Esta pergunta e suas respostas estão bloqueadas porque a questão está fora do tópico, mas tem um significado histórico. No momento, não está aceitando novas respostas ou interações. Após uma discussão com os colegas sobre o uso da palavra-chave 'var' no C...

19
Por que o Java não pode inferir um supertipo?

Todos sabemos que Long se estende Number. Então, por que isso não compila? E como definir o método withpara que o programa seja compilado sem nenhuma conversão manual? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number getNumber();...

13
Por que o `std :: mem :: drop` não é exatamente o mesmo que o fechamento | _ | () nos limites de características com classificação mais alta?

A implementação de std::mem::dropestá documentada para ser a seguinte: pub fn drop<T>(_x: T) { } Como tal, eu esperaria que o fechamento |_| ()(conhecido coloquialmente como fechamento do vaso sanitário ) fosse um potencial substituto 1: 1 para drop, em ambas as direções. No entanto, o...