Resultados de la búsqueda a petición "type-inference"
Una característica peculiar de la inferencia de tipos de excepción en Java 8
Mientras escribía código para otra respuesta en este sitio, me encontré con esta peculiaridad: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled ...
¿Por qué esta inferencia de tipos no funciona con este escenario de expresión Lambda?
Tengo un escenario extraño en el que la inferencia de tipos no funciona como esperaría al usar una expresión lambda. Aquí hay una aproximación de mi escenario real: static class Value<T> { } @FunctionalInterface interface Bar<T> { ...
Listas de literales de longitud fija y tipo
Estoy tratando de definir un tipo para listas de longitud fija en Haskell. Cuando uso la forma estándar de codificar números naturales como tipos en unario, todo funciona bien. Sin embargo, cuando trato de construir todo en los literales de tipo ...
Cómo "extraer" el parámetro de tipo para instanciar otra clase
El siguiente 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 qué este método genérico con un límite puede devolver algún tipo?
¿Por qué se compila el siguiente código? El métodoIElement.getX(String) devuelve una instancia del tipoIElement o de sus subclases. El código en elMain la clase invoca elgetX(String) método. El compilador permite almacenar el valor de retorno en ...
¿Se puede definir el tipo de función por inferencia?
La inferencia de tipo Scala es realmente agradable y es fácil acostumbrarse a no tener que escribir dos veces. Cuanto más duele cuando tienes que hacerlo. Un ejemplo de ello son los tipos de funciones. A veces me gustaría crear un tipo con ...
Números extraños Swift tipo casting
Acabo de notar que Swift realiza algún tipo de conversión sobre Int y Double. Cuando trato de evaluar (10 / 3.0) - (10 / 3)0.333... se espera, pero en realidad es0.0. ¿Alguien podría explicar esto por favor?
En Scala, ¿por qué `_` no se puede usar en groupBy here?
Estoy tratando de calcular la lista de ocurrencias de cada carácter en una palabra, mis códigos actuales se ven así: "hello" .groupBy((x:Char)=>x) .map(a=>(a._1, a._2.length))Pienso que el.groupBy((x:Char)=>x) parece torpe y, por lo tanto, ...
Inferencia de tipo Java: la referencia es ambigua en Java 8, pero no en Java 7
Digamos que tenemos 2 clases. Una clase vacíaBasey una subclase de esta claseDerived. public class Base {} public class Derived extends Base {}Luego tenemos algunos métodos en otra clase: import java.util.Collection public class Consumer { ...
¿Se escribe Julia dinámicamente?
Muchos blogs, y elmanual en sí [https://docs.julialang.org/en/v1/manual/types/#man-types-1], di que Julia es escrito dinámicamente [http://en.wikipedia.org/wiki/Type_system#Dynamic_type-checking_and_runtime_type_information] . Pero a partir de mi ...