Resultados de la búsqueda a petición "type-inference"
¿Cómo definir clases de casos con miembros con parámetros de tipo no vinculados?
Dada una definición de clase con parámetro de tipo enlazado
¿Cómo escribir una función para números genéricos?
Soy bastante nuevo en F # y encontrar la inferencia de tipos realmente es algo genial. Pero actualmente parece que también puede conducir a la duplicación de código, que esno es una cosa genial. Quiero sumar los dígitos de un número ...
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é 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 elige GHCi nombres para las variables de tipo?
Cuando se usa el intérprete interactivo de GHC, es posible solicitar el tipo inferido de una expresión: Prelude> :t map map :: (a -> b) -> [a] -> [b] Parece que toma los nombres de las variables de tipo de la firma desdemap es ...
Implementación del algoritmo de inferencia de tipo Damas-Hindley-Milner
Estoy buscando información sobre el conocidoAlgoritmo Damas-Hindley-Milner [https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system]hacer inferencia de tipos para lenguajes funcionales, especialmente información sobre implementación. Ya ...
¿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 ...
Polimorfismo paramétrico vs polimorfismo ad-hoc
Me gustaría entender la diferencia clave entre el polimorfismo paramétrico, como el polimorfismo de clases / funciones genéricas en los lenguajes Java / Scala / C ++ y el polimorfismo "ad-hoc" en el sistema de tipos Haskell. Estoy familiarizado ...
Números extraños Swift tipo casting
Acabo de notar que Swift realiza algún tipo de conversión sobre Int y Double. Cuando trato de evaluar (10 / 3.0) - (10 / 3)0.333... se espera, pero en realidad es0.0. ¿Alguien podría explicar esto por favor?
¿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 ...