Resultados de la búsqueda a petición "type-systems"
Tiempo de compilación y tiempo de ejecución c #
Me preguntaba por qué algunos lanzamientos en C # se verifican en tiempo de compilación, mientras que en otros casos la responsabilidad se deja en CLR. Al igual que los anteriores, ambos son incorrectos pero se manejan de manera diferente. class ...
¿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 # tiene un equivalente a la tipificación estructural de Scala?
En Scala, puedo definirtipos estructurales [http://codemonkeyism.com/scala-goodness-structural-typing/]como sigue: type Pressable = { def press(): Unit } Esto significa que puedo definir una función o método que tome como argumento algo ...
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é 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 ...
¿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 ...
Tipos de unión y tipos de intersección
¿Cuáles son los diversos casos de uso para tipos de unión y tipos de intersección? Últimamente se ha hablado mucho sobre estas características del sistema de tipo, ¡pero de alguna manera nunca he sentido la necesidad de ninguna de estas!
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?
Múltiples límites de tipo inferior en Scala
Me di cuenta quetuple.productIterator siempre devuelve unIterator[Any] se preguntó si no es posible establecer múltiples límites inferiores (por lo que podría ser un iterador del supertipo común más bajo). Intenté y busqué un poco, pero solo ...
¿Por qué uno selecciona miembros de tipo Scala con un hash en lugar de un punto?
En Scala, la sintaxis para seleccionar un tipo de una clase es diferente de la de seleccionar cualquier otra cosa de una clase. En eso, el primero usa un hash como operador de selección en lugar de un punto. ¿Porqué es eso Ejemplo: si tenemos ...