Resultados de la búsqueda a petición "type-systems"
¿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 ...
Rasgos abatidos dentro de Rc para la manipulación de AST
Estoy tratando de manipular AST en Rust. Habrá muchas manipulaciones, y quiero que mis árboles sean inmutables, por lo que para ahorrar tiempo todas las referencias seránRcs. Los nodos de mi árbol se verán así: enum Condition { ...
¿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")
¿Qué son los universos acumulativos y `*: *`?
En Agda, haySet n. Según entiendo,Set n extiende la jerarquía de tipo de valor de tipo estilo Haskell a niveles infinitos. Es decir,Set 0 es el universo de los tipos normales,Set 1 es el universo de los tipos normales,Set 2 es el universo de los ...
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 ...
Scala: Ordenando contravarianza
¿Hay alguna razón por la cual Scala?
Scala - Hacer cumplir el tamaño de Vector en tiempo de compilación
¿Es posible imponer el tamaño de una
Restricción de tipo para la desigualdad de tipo en scala [duplicado]
Posible duplicado:Hacer cumplir la diferencia de tipoDado que existe una restricción de tipo generalizada que impone la igualdad en scala