La inferencia de tipos es el proceso de inferir tipos para programas automáticamente, utilizando reglas definidas por un sistema de tipos.
Bloqueado . Esta pregunta y sus respuestas están bloqueadas porque la pregunta está fuera de tema pero tiene un significado histórico. Actualmente no acepta nuevas respuestas o interacciones. Después de una discusión con colegas sobre el uso de la palabra clave...
Tengo problemas para navegar la regla de Java para inferir parámetros de tipo genérico. Considere la siguiente clase, que tiene un parámetro de lista opcional: import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames;...
Tengo una matriz compuesta de AnyObject. 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
He estado usando la nueva autopalabra clave disponible en el estándar C ++ 11 para tipos de plantillas complicados, para lo cual creo que fue diseñada. Pero también lo estoy usando para cosas como: auto foo = std::make_shared<Foo>(); Y más escépticamente por: auto foo = bla(); // where...
Estoy usando Xcode 6 Beta 6. Esto es algo que me ha estado molestando desde hace un tiempo, pero está llegando a un punto en el que ahora apenas se puede usar. Mi proyecto está empezando a tener una buena tamaño de 65 archivos Swift y algunos archivos Objective-C en puente (que en realidad no son...
Tengo una función genérica que llama a un servicio web y serializa la respuesta JSON a un objeto. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct the URL,...
Parece que autofue una característica bastante importante para agregar en C ++ 11 que parece seguir muchos de los lenguajes más nuevos. Al igual que con un lenguaje como Python, no he visto ninguna declaración explícita de variables (no estoy seguro de si es posible usar los estándares de...
De acuerdo con las especificaciones del lenguaje Scala : ... se permite la inferencia de tipo local para limitar la complejidad de los límites inferidos [de los parámetros de tipo]. La minimidad y la maximidad de los tipos deben entenderse en relación con el conjunto de tipos de complejidad...
Estoy trabajando en una instalación de finalización (intellisense) para C # en emacs. La idea es que, si un usuario escribe un fragmento y luego solicita la finalización mediante una combinación de teclas en particular, la función de finalización utilizará la reflexión .NET para determinar las...
Me he encontrado con una situación curiosa que involucra métodos genéricos estáticos. Este es el código: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo();...
Veo algunas discusiones interesantes aquí sobre la escritura estática frente a la dinámica. Generalmente prefiero la escritura estática, debido a la verificación de tipos de compilación, código mejor documentado, etc. Sin embargo, estoy de acuerdo en que desordenan el código si se hace de la...
Mientras escribía código para otra respuesta en este sitio, encontré esta peculiaridad: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception:
Recibo el siguiente error cuando intento encontrar un RecycleViewby id. Error: - Error de inferencia de tipo: no hay suficiente información para inferir el parámetro T Código: class FirstRecycleViewExample : AppCompatActivity() { val data = arrayListOf<String>() override fun...
La referencia del método utilizado tiene tipo de retorno Integer. Pero Stringse permite una incompatibilidad en el siguiente ejemplo. ¿Cómo arreglar la withdeclaración del método para que el tipo de referencia del método sea seguro sin la conversión manual? import
Todos sabemos que Long se extiende Number. Entonces, ¿por qué esto no se compila? ¿Y cómo definir el método withpara que el programa se compile sin ninguna conversión manual? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number...
La implementación de std::mem::dropestá documentada para ser la siguiente: pub fn drop<T>(_x: T) { } Como tal, esperaría que el cierre |_| ()(conocido coloquialmente como cierre del inodoro ) sea un posible reemplazo 1: 1 drop, en ambas direcciones. Sin embargo, el siguiente código muestra...
Por que es public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} más estricto entonces public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Este es un seguimiento de por qué el tipo de retorno lambda no está...
¿Por qué la coincidencia de patrones funciona de manera diferente cuando el parámetro tipo proviene de un método de cierre en lugar de una clase de cierre? Por ejemplo, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case...