Resultados de la búsqueda a petición "type-systems"
¿Por qué no puedo usar la palabra clave as para una estructura?
Definí la siguiente estructura: public struct Call { public SourceFile caller; public SourceFile callee; public Call(SourceFile caller, SourceFile callee) { this.caller = caller; this.callee = callee; } }Más tarde, lo asigno a la propiedad Tag ...
¿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?
¿Qué significa el operador `#` en Scala?
Veo este código en este blog: Programación a nivel de tipo en Scala [http://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/]: // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the ...
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?
¿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 ...
FP mecanografiado: argumentos de tupla y argumentos curriables
En lenguajes de programación funcional tipados estáticamente, como Standard ML, F #, OCaml y Haskell, una función generalmente se escribirá con los parámetros separados uno del otro y del nombre de la función simplemente por espacios ...
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!
Scala: Ordenando contravarianza
¿Hay alguna razón por la cual Scala?
OCaml Printf.sprintf
¿Por qué ocurre este comportamiento?