Resultados de la búsqueda a petición "type-inference"

1 la respuesta

Diferencias en la inferencia de tipos para cierres y funciones en óxido

¿Por qué es posible inferir los tipos de argumentos y el tipo de retorno para una expresión de cierre sin una función en óxido?

2 la respuesta

Diferencias en la inferencia de tipos JDK8 javac / Eclipse Luna?

Estoy tratando de cambiar un proyecto a Java8 y encuentro diferencias extrañas entre Eclipse Luna y la inferencia de tipos de javac. Con JDK 1.7.0_65 javac este código se compila muy bien. JDK 1.8.0_11 se queja de que tanto toString (char []) ...

14 la respuesta

Comprobar si un objeto es un tipo dado en Swift

Tengo una matriz compuesta deAnyObject. Quiero iterar sobre él y encontrar todos los elementos que son instancias de matriz. ¿Cómo puedo verificar si un objeto es de un tipo dado en Swift?

3 la respuesta

¿Por qué es tan débil la inferencia de tipos de Java?

1 la respuesta

¿Por qué scala no infiere el tipo de parámetros de tipo genérico?

1 la respuesta

Condición de cobertura liberal introducida en GHC 7.7 rompe el código válido en GHC 7.6

La ideaEstoy escribiendo unDSL, que compila a haskell.Los usuarios de este lenguaje pueden definir sus propias estructuras de datos inmutables y funciones as...

3 la respuesta

Java 8: mejoras en la inferencia de tipos genéricos

2 la respuesta

Mapa de nivel de tipo con DataKinds

Tengo un patrón común donde tengo una lista de tipos de tipo

2 la respuesta

¿Por qué el compilador de C # no puede inferir un delegado de tipo genérico de la firma de la función? [duplicar

Esta pregunta ya tiene una respuesta aquí: Por qué C # no puede inferir el tipo de este caso aparentemente simple y obvio [/questions/6229131/why-cant-c-sharp-infer-type-from-this-seemingly-simple-obvious-case] 5 respuestas Estoy trabajando con ...

3 la respuesta

¿Cómo mostrar el tipo de TypeScript inferido en WebStorm?

En VS2012, puede desplazarse sobre una variable mecanografiada y le mostrará el tipo inferido. ¿Hay una característica similar en webstorm?