Resultados da pesquisa a pedido "type-inference"
Quanto é demais com a palavra-chave automática C ++ 11?
Eu tenho usado o novoauto palavra-chave @ está disponível no padrão C ++ 11 para tipos de modelos complicados, e é para isso que acredito que foi projetada. Mas também estou usando para coisas como: auto foo = std::make_shared<Foo>(); E mais ...
Inferência de tipo genérico parcial possível em C #?
Estou trabalhando para reescrever minha interface fluente para minha biblioteca de classes de IoC e, quando refatorei algum código para compartilhar algumas funcionalidades comuns por meio de uma classe base, me deparei com um problema. Nota: ...
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:
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 ...
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...
Diferenças na inferência de tipo para fechamentos e funções em ferrugem
Por que é possível inferir os tipos de argumentos e o tipo de retorno para uma expressão de fechamento, enquanto não para uma função enferrujada?
Por que essa inferência de tipo não está funcionando com esse cenário de expressão Lambda?
Eu tenho um cenário estranho em que a inferência de tipo não está funcionando como seria de esperar ao usar uma expressão lambda. Aqui está uma aproximação do meu cenário real: static class Value<T> { } @FunctionalInterface interface Bar<T> { ...
Veja tipos inferidos no código OCaml complexo
Sou novato no OCaml trabalhando com um código OCaml bastante complexo (pelo menos para mim) que não escrevi. Ajudaria muito entendê-lo se eu pudesse ver os tipos inferidos para alguns dos valores, como posso fazer com o F # e o Visual Studio, ...
Como mostrar o tipo de TypeL inferido no WebStorm?
No VS2012, você pode passar o mouse sobre uma variável datilografada e mostrará o tipo inferido. Existe um recurso semelhante em webstorm?