Resultados de la búsqueda a petición "type-systems"

4 la respuesta

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!

8 la respuesta

¿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 ...

2 la respuesta

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 ...

1 la respuesta

No se puede asignar en HList

Estaba tratando de resolvereste problema con sin forma. Sin embargo, por alguna razón no puedo mapear en el

2 la respuesta

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 ...

2 la respuesta

OCaml Printf.sprintf

¿Por qué ocurre este comportamiento?

1 la respuesta

¿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?

6 la respuesta

¿Desventajas del sistema de tipo Scala versus Haskell?

He leído que el sistema de tipos de Scala está debilitado por la interoperabilidad de Java y, por lo tanto, no puede realizar algunos de los mismos poderes que el sistema de tipos de Haskell. ¿Es esto cierto? ¿La debilidad se debe al borrado del ...

5 la respuesta

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 ...

1 la respuesta

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 { ...