Resultados da pesquisa a pedido "type-inference"
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 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> { ...
Listas de literais de comprimento e tipo fixos
Estou tentando definir um tipo para listas de comprimento fixo em Haskell. Quando uso a maneira padrão de codificar números naturais como tipos em unário, tudo funciona bem. No entanto, quando tento criar tudo nos literais de tipo do GHC, ...
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 ...
Por que esse método genérico com um limite pode retornar qualquer tipo?
Por que o código a seguir é compilado? O métodoIElement.getX(String) retorna uma instância do tipoIElement ou de suas subclasses. O código noMain classe chama ogetX(String) método. O compilador permite armazenar o valor de retorno em uma variável ...
O tipo de função pode ser definido por inferência?
A inferência do tipo Scala é muito boa e é fácil se acostumar a não precisar escrever as coisas duas vezes. Quanto mais dói quando você precisa. Um exemplo são os tipos de função. Às vezes eu gostaria de criar um tipo nomeado para alguma ...
Swift estranho tipo de elenco de números
Acabei de notar que Swift faz algum tipo de conversão sobre Int e Double. Quando tento avaliar (10 / 3.0) - (10 / 3)0.333... é esperado, mas é realmente0.0. Alguém poderia explicar isso, por favor?
Em Scala, por que `_` não pode ser usado em groupBy aqui?
Estou tentando calcular a lista de ocorrências de cada caractere em uma palavra, meus códigos atuais são assim: "hello" .groupBy((x:Char)=>x) .map(a=>(a._1, a._2.length))Eu acho que o.groupBy((x:Char)=>x) parece desajeitado e, portanto, ...
Inferência do tipo Java: a referência é ambígua no Java 8, mas não no Java 7
Vamos dizer que temos 2 aulas. Uma classe vaziaBasee uma subclasse desta classeDerived. public class Base {} public class Derived extends Base {}Depois, temos alguns métodos em outra classe: import java.util.Collection public class Consumer { ...
Julia é digitada dinamicamente?
Muitos blogs e osmanual em si [https://docs.julialang.org/en/v1/manual/types/#man-types-1], diga que Julia é digitado dinamicamente [http://en.wikipedia.org/wiki/Type_system#Dynamic_type-checking_and_runtime_type_information] . Mas da minha ...