Resultados de la búsqueda a petición "type-inference"
¿Puede Java 10 inferencia de tipo para variables locales inferir vacío?
Con Java 10, podemos usar la inferencia de tipos. String s1 = "hello"; // before Java 10 var s2 = "hello"; // nowSin embargo, hay una cosa que no podíamos hacer antes: tener variables de tipovacío. Entonces, en versiones anteriores simplemente ...
TypeScript inferencia de tipo / desafío de estrechamiento
Actualmente estoy tratando de mejorar los tipos en algún código existente. Mi código se ve más o menos así: /* dispatcher.ts */ interface Message { messageType: string; } class Dispatcher<M extends Message> { on< MessageType extends ...
¿Cuál es exactamente el contexto de valor en Rust?
De acuerdo ala documentación [https://doc.rust-lang.org/reference.html#lvalues-rvalues-and-temporaries], tenemos contextos lvalue y rvalue. ¿Cómo sé si una expresión está en un contexto de valor? ¿Se determina solo al lado de la expresión en una ...
La resolución del método genérico C # falla con un error de llamada ambiguo
Supongamos que he definido dos tipos no relacionados y dos métodos de extensión con la misma firma pero con filtros de tipo diferentes: public class Foo {} public class Bar {} public static class FooExtensions { public static TFoo ...
¿Cómo lidiar cómodamente con el sistema de tipos en Haskell?
El sistema de tipos de Haskell es poderoso y apreciado por su rigurosidad matemática y solidez lógica, por otro lado, algo tan ingenuo como a continuación me hace preguntarme por qué no funciona como lo espera la intuición. P.ej. porque no ...
Sugerencia para la inferencia de tipo SML
Soy nuevo en SML y estoy tratando de practicar en la referencia de tipo SML. Estoy tratando de deducir los siguientes tipos: a)fun add42 x =x+42 b)fun comp F G = let fun C x = G(F(x)) in C end c)fun compA42 x = comp add42 x d)val foo = compA42 ...
Parámetro de tipo esperado, encontrado u8, pero el parámetro de tipo es u8
trait Foo { fn foo<T>(&self) -> T; } struct Bar { b: u8, } impl Foo for Bar { fn foo<u8>(&self) -> u8 { self.b } } fn main() { let bar = Bar { b: 2, }; println!("{:?}", bar.foo()); }(Patio de ...
¿Hay una desventaja en declarar variables con auto en C ++?
Parece queauto fue una característica bastante significativa que se agregó 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 ...
Problema de inferencia de tipo TypeScript
Estoy usando TypeScript con el controlador MongoDB node.js. Tenga en cuenta que esta no es una pregunta de Mongo, es solo el caso de uso particular de este problema que estoy teniendo. Casi todas las llamadas de Mongo usan un patrón de(arg1, ...
¿Por qué no puede leer deducir el tipo correcto?
En Haskell, puedo hacer que Haskell sea el valor de una cadena conread. Prelude> read "1" + 3 4Puedo usarfst para obtener el primer elemento Prelude> fst (1,2) 1Sin embargo, recibo un error cuando combinoread yfst para obtener el primer ...