Resultados de la búsqueda a petición "type-inference"
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 ...
¿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 ...
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, ...
inferencia de tipo scala con _ marcador de posición
List("This","is","Scala").foreach(a => print(a+" "))compila bien, pero List("This","is","Scala").foreach(print(_+" "))falla al quejarse del tipo de parámetro faltante. No pude entender por qué falla. EDITAR: quise decir imprimir no imprimir, no ...
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 ...
Hilos y delegados: no entiendo completamente sus relaciones
Escribí un código que se parece a esto: Thread t = new Thread(() => createSomething(dt, start, finish) ); t.Start();Y funciona (a veces parece que hay varios hilos). Sin embargo, no uso ningún delegado. ¿Cuál es el significado de una banda de ...
¿Cómo convertir implícitamente a supertipos comunes en coincidencias de patrones F #?
Resumen del problema En el momento en que uso f #, debo coaccionar explícitamente un valor para el tipo principal de su tipo para obtener expresiones de coincidencia de patrones para verificar el tipo correctamente. Idealmente me gustaría una ...
¿Inferencia de tipo genérica falla?
Ejemplo AEstudie el siguiente fragmento: public class ExampleA { static class Pair<F,S> { } static <F,S> Pair<F,S> anyPair() { return null; } static <F,S> void process(Pair<F,S> p1, Pair<F,S> p2) { return; } public static void main(String[] ...
¿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 ...
¿Cuándo necesita Scala tipos de parámetros para funciones anónimas y ampliadas?
¿Cuándo necesita realmente el compilador Scala la información de tipo de parámetros de funciones anónimas? Por ejemplo, dada esta función: def callOn[T,R](target: T, f: (T => R)) = f(target)entonces no puedo usarlo así: callOn(4, _.toString) ...