Resultados da pesquisa a pedido "type-inference"
A inferência do tipo Java 10 para variáveis locais pode inferir nulo?
Com o Java 10, podemos usar a inferência de tipo. String s1 = "hello"; // before Java 10 var s2 = "hello"; // nowNo entanto, há uma coisa que não podíamos fazer antes: ter variáveis do tipovazio. Então, nas versões anteriores, simplesmente não ...
Desafio de inferência / restrição de tipo TypeScript
Atualmente, estou tentando melhorar os tipos em algum código existente. Meu código é mais ou menos assim: /* dispatcher.ts */ interface Message { messageType: string; } class Dispatcher<M extends Message> { on< MessageType extends ...
Qual é exatamente o contexto lvalue no Rust?
De acordo coma documentação [https://doc.rust-lang.org/reference.html#lvalues-rvalues-and-temporaries], temos os contextos lvalue e rvalue. Como sei se uma expressão está em um contexto de lvalue? É determinado apenas ao lado da expressão em uma ...
A resolução do método genérico em C # falha com um erro de chamada ambíguo
Suponha que eu tenha definido dois tipos não relacionados e dois métodos de extensão com a mesma assinatura, mas com filtros de tipos diferentes: public class Foo {} public class Bar {} public static class FooExtensions { public static TFoo ...
Como lidar confortavelmente com o sistema de tipos em Haskell?
O sistema de tipos de Haskell é poderoso e apreciado por seu rigor matemático e solidez lógica; por outro lado, algo tão ingênuo como abaixo me faz pensar por que ele não funciona como o esperado pela intuição? Por exemplo. por que nãoInt ser ...
Dica para inferência do tipo SML
Eu sou novo no SML e estou tentando praticar na referência de tipo SML. Estou tentando deduzir os tipos abaixo: a)fun add42 x =x+42 b)fun comp F G = let fun C x = G(F(x)) in C end c)fun compA42 x = comp add42 x d)val foo = compA42 add42 e)fun ...
Parâmetro de tipo esperado, encontrado u8, mas o parâmetro de tipo é u8
trait Foo { fn foo<T>(&self) -> T; } struct Bar { b: u8, } impl Foo for Bar { fn foo<u8>(&self) -> u8 { self.b } } fn main() { let bar = Bar { b: 2, }; println!("{:?}", bar.foo()); }(Parque ...
Existe uma desvantagem em declarar variáveis com auto em C ++?
Parece queauto foi um recurso bastante significativo a ser adicionado no C ++ 11 que parece seguir muitas das linguagens mais recentes. Como em uma linguagem como Python, não vi nenhuma declaração explícita de variável (não sei se é possível usar ...
Problema de inferência de tipo TypeScript
Estou usando o TypeScript com o driver MongoDB node.js. Observe que essa não é uma pergunta do Mongo, é apenas o caso de uso específico desse problema que estou tendo. Praticamente toda chamada Mongo usa um padrão de(arg1, arg2, ..., ...
Por que a leitura não pode deduzir o tipo correto?
No Haskell, posso fazer o valor do Haskell a partir de uma string comread. Prelude> read "1" + 3 4Eu posso usarfst para obter o primeiro elemento Prelude> fst (1,2) 1No entanto, recebo um erro ao combinarread efst para obter o primeiro ...