Resultados de la búsqueda a petición "type-inference"
¿Qué hace que el sistema de tipos de Haskell sea más "poderoso" que los sistemas de tipos de otros idiomas?
Leyendo¿Desventajas del sistema de tipo Scala versus Haskell? [https://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell] , Tengo que preguntar: ¿qué es, específicamente, lo que hace que el sistema de tipos de ...
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 ...
¿Por qué sum x y es de tipo (Num a) => a -> a -> a en Haskell?
He estado leyendo sobre Haskell y me cuesta entender cómo se manejan las definiciones de funciones en este lenguaje. Digamos que estoy definiendo unsum función: let sum x y = x + ysi le pregunto a Haskell por su tipo :t sumyo obtengo sum :: ...
¿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 ...
¿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 ...
¿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[] ...
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 ...
implementación de inferencia de tipos
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 tipo de compilación, código mejor documentado, etc. Sin embargo, estoy de acuerdo ...
enlace automático (inferencia de tipos) de tipos genéricos por el compilador
el siguiente código tiene un error de compilación en la línea de t3: public <E> List<E> getList() { return new ArrayList<E>(); } public <T> void first() { List<T> ret = new ArrayList<T>(); List<T> list = getList(); T t1 = ret.get(0); T t2 = ...
¿Cómo puedo implementar NotOfType <T> en LINQ que tiene una buena sintaxis de llamadas?
Estoy tratando de llegar a una implementación paraNotOfType, que tiene una sintaxis de llamada legible.NotOfType debería ser el complemento deOfType<T> y en consecuencia produciría todos los elementos que sonno de tipoT Mi objetivo era ...