type-inference
¿Cuánto es demasiado con la palabra clave auto de C++11?
He estado usando la nueva palabra clave auto disponible en el estándar de C++11 para tipos de plantillas complicadas, que es ... rogramadores y luego de nuevo a la pila de desbordamiento. La discusión sobre esto se puede encontrar en esta meta pregunta .
Colecciones.emptyList() devuelve una Lista?
Estoy teniendo algunos problemas para navegar por la regla de Java para inferir parámetros de tipo genérico. Considere la sig ... "parámetro opcional" sin duplicar código.
Para crédito extra: ¿cuándo es apropiado usar EMPTY_LIST en lugar de emptyList()?
Cómo pasar un tipo de clase como parámetro de función
Tengo una función genérica que llama a un servicio web y serializa la respuesta JSON a un objeto.
class func invokeService&l ... protocolo?
class CityInfo : NSObject {
var cityName: String?
var regionCode: String?
var regionName: String?
}
¿Qué límites pone scala en la "complejidad aceptable" de los tipos inferidos?
De acuerdo con la Especificación del lenguaje Scala :
... se permite la inferencia de tipo local para limitar la comple ... límites que se aplican a los tipos de expresión inferidos que a los límites de tipo de parámetro, y cuáles son esos límites?
Llamar a métodos genéricos estáticos
Me he encontrado con una situación curiosa que involucra métodos genéricos estáticos. Este es el código:
class Foo<E>
... oo.createFoo()? ¿Es algún tipo de inferencia? Si quiero ser explícito al respecto, ¿cómo puedo especificar el argumento type?
¿Por qué este programa Java 8 no compila?
Este programa compila bien en Java 7 (o en Java 8 con -source 7), pero no compila con Java 8:
interface Iface<T> {}
cl ... on "1.8.0"
Java(TM) SE Runtime Environment (build 1.8.0-b132)
Java HotSpot(TM) 64-Bit Server VM (build 25.0-b70, mixed mode)
¿Qué es la restricción del monomorfismo?
Estoy desconcertado por cómo el compilador haskell a veces infiere tipos que son menos
polimórfico de lo que esperaría, por e ... ico?
Esta es la pregunta canónica sobre la restricción del monomorfismo en Haskell
como se discutió en la meta pregunta.
¿Por qué este código de Haskell produce el error "tipo infinito"?
Soy nuevo en Haskell y me enfrento a un error de "no puedo construir tipo infinito" que no puedo entender.
De hecho, más al ... po de lo que es. Mire cuidadosamente qué tipo es todo versus cómo lo está usando, y esto generalmente descubrirá el problema.
Problema comprensión de la inferencia de tipo C # como se describe en la especificación del lenguaje
El Especificación del lenguaje C# describe la inferencia de tipos en la Sección §7.5.2. Hay un detalle en él que no entiendo ... hay un tipo candidato, esto es vacuamente cierto, por lo que Xi se fija en string. ¿Verdad?
Entonces, ¿en qué me equivoco?
No es capaz de "findViewById" en Kotlin. Obtener error " Error de inferencia de tipo"
Recibo el siguiente error cuando intento encontrar un RecycleView por id.
Error: -
Error en la inferencia de tipos: N ... CustomRecycleAdapter(data)
//now adding the adapter to recyclerview
recycler_view.adapter = adapter
}
}
Funciones con tipos de parámetros genéricos
Estoy tratando de averiguar cómo definir una función que funciona en múltiples tipos de parámetros (por ejemplo, int e int64) ... es muy posible que esté tratando de hacer algo imposible aquí, así que por favor deje yo sé si hay una solución alternativa.
¿Julia se escribe dinámicamente?
Muchos blogs, y el propio manual , dicen que Julia está dinámicamente escrita.
Pero a partir de mi lectura del manual, me s ... ?
Asumo que se escribe dinámicamente, parece poco probable que el manual esté mal.
Es tipo ¿inferencia implicada en Julia?
Los argumentos de tipo para el método no se pueden inferir del uso
Tal vez estoy sobrecargado de trabajo, pero esto no es compilar (CS0411). ¿Por qué?
interface ISignatur<T>
{
Type ... ;
var access = service.Get(new Signatur()); // CS4011 error
}
}
Alguien una idea ¿por qué no? ¿O cómo resolver?
Scala: ¿Cómo definir parámetros de función "genéricos"?
Estoy tratando de aprender Scala ahora, con un poco de experiencia en Haskell. Una cosa que se destacó como extraña para mí e ... e define su propio + operadora. ¿Cómo escribiría una función add que funciona para cualquier tipo que defina un + ¿operadora?
Métodos genéricos in.NET no se pueden inferir sus tipos de retorno. ¿Por qué?
Dado:
static TDest Gimme<TSource,TDest>(TSource source)
{
return default(TDest);
}
¿Por qué no puedo hacer: ... dos genéricos? ¿Es esta una de esas preguntas donde la respuesta es tan obvia que te está mirando a la cara? Espero que no!
Tipo-inferir una constante en C#
En C#, la siguiente inferencia de tipo funciona:
var s = "abcd";
Pero ¿por qué no se puede inferir el tipo cuando la vari ... ar s = "abcd"; // <= Compile time error:
// Implicitly-typed local variables cannot be constant
¿Por qué esta inferencia de tipo no funciona con este escenario de expresión Lambda?
Tengo un escenario extraño donde la inferencia de tipos no funciona como esperaría cuando se usa una expresión lambda. He aqu ... ;.
¿Por qué esta inferencia no funciona como se esperaba y cómo puedo cambiar esta API para que funcione como se esperaba?
¿Cómo escribir una función para números genéricos?
Soy bastante nuevo en F# y encontrar la inferencia de tipos realmente es una cosa genial. Pero actualmente parece que también ... nto. Segundo let cf = int (crossfoot (bigint 123)) simplemente no se lee bien.
¿No hay una forma genérica de escribir esto?
Método principal con parámetro genérico; ¿por qué funciona?
public static <T extends String> void main(T[] args) {
System.out.println("Hello World!");
}
Tenía curiosidad por ... robado con otros IDE.
También puede pasar argumentos usando la línea de comandos como lo haría con cualquier otro programa.
La relación entre auto y decltype
Es
auto x = initializer;
Equivalente a
decltype(initializer) x = initializer;
O
decltype((initializer)) x = initializer;
O ninguno?