Resultados da pesquisa a pedido "type-inference"
Como "extrair" o parâmetro de tipo para instanciar outra classe
O seguinte código Scala funciona: object ReducerTestMain extends App { type MapOutput = KeyVal[String, Int] def mapFun(s:String): MapOutput = KeyVal(s, 1) val red = new ReducerComponent[String, Int]((a: Int, b: Int) => a + b) val data ...
Collections.emptyList () retorna uma Lista <Object>?
Estou tendo problemas para navegar na regra do Java para inferir parâmetros de tipo genérico. Considere a seguinte classe, que possui um parâmetro de lista opcional: import java.util.Collections; import java.util.List; public class Person ...
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> { ...
Um recurso peculiar da inferência de tipo de exceção no Java 8
Ao escrever o código para outra resposta neste site, deparei-me com essa peculiaridade: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled ...
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 ...
Por que a inferência de tipo Scala falha aqui?
eu tenhoesta aula [http://jamesgolick.com/2010/2/8/monkey-patching-single-responsibility-principle-and-scala-implicits.html] em Scala: object Util { class Tapper[A](tapMe: A) { def tap(f: A => Unit): A = { f(tapMe) tapMe } def tap(fs: (A => ...
Código que exerce inferência de tipo
Estou trabalhando em uma linguagem de programação experimental que possui inferência global do tipo polimórfico. Recentemente, fiz com que o algoritmo funcionasse suficientemente bem para digitar corretamente os bits do código de amostra que ...
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, ..., ...
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 ...
inferência do tipo scala com _ espaço reservado
List("This","is","Scala").foreach(a => print(a+" "))compila bem, mas List("This","is","Scala").foreach(print(_+" "))falha ao reclamar do tipo de parâmetro ausente. Eu não conseguia descobrir por que isso falha. EDIT: Eu quis dizer print not ...