Resultados de la búsqueda a petición "type-systems"
Scala - Hacer cumplir el tamaño de Vector en tiempo de compilación
¿Es posible imponer el tamaño de una
Scala: Ordenando contravarianza
¿Hay alguna razón por la cual Scala?
¿Cuáles son las diferencias y similitudes de los sistemas tipo Scala y Haskell?
¿Cómo explicar el sistema de tipos de Scala a un experto en Haskell? ¿Qué ejemplos muestran las ventajas de Scala?¿Cómo explicar el sistema de tipos de Haske...
¿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 ...
¿Qué hace que el sistema de tipos de Haskell sea más "poderoso" que los sistemas de tipos de otros idiomas?
Leyendo¿Desventajas del sistema de tipo Scala versus Haskell? [https://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell] , Tengo que preguntar: ¿qué es, específicamente, lo que hace que el sistema de tipos de ...
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 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 ...
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 ...
¿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 ...