Resultados de la búsqueda a petición "type-systems"
¿Diferencia entre los tipos existenciales de Scala y el comodín de Java por ejemplo?
Un poco más específico que la pregunta de desbordamiento de pila¿Qué es un tipo existencial?, cual es la diferencia entre Scala'stipos existenciales y de...
OCaml Printf.sprintf
¿Por qué ocurre este comportamiento?
¿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 ...
Haskell: especificación de restricciones de igual longitud de listas en el sistema de tipos
En Haskell, a menudo tengo una función comof, que acepta una lista y devuelve una lista de igual longitud: f :: [a] -> [a] -- length f(xs) == length xsDel mismo modo, podría tener una función comog, que acepta dos listas que deberían tener la ...
¿Qué se entiende por tipos dependientes de la ruta de Scala?
He oído que Scala tiene tipos dependientes de la ruta. Tiene algo que ver con las clases internas, pero ¿qué significa esto realmente y por qué me importa?
¿Cómo puedo tener un tipo de negación en Scala?
Quiero hacer algo como esto: def iDontLikeStrings(arg: Not[String]) = {....}Básicamente, esto debería compilar: iDontLikeStrings(23) iDontLikeStrings(true)Y esto NO debe compilar: iDontLikeStrings("hello")
¿Por qué hay "datos" y "newtype" en Haskell? [duplicar
Esta pregunta ya tiene una respuesta aquí: Diferencia entre `data` y` newtype` en Haskell [/questions/5889696/difference-between-data-and-newtype-in-haskell] 1 respuesta Parece que unnewtype definición es solo undata definición que obedece a ...
Cuál es el estilo de polimorfismo de Haskell?
Con las clases de tipo de Haskell casi parece que permite el polimorfismo ad hoc, pero sus declaraciones de funciones parecen polimorfismo paramétrico. ¿Estoy mezclando mi comprensión de diferentes cosas?