Resultados de la búsqueda a petición "type-systems"
¿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é 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 ...
Haskell type vs. newtype con respecto a la seguridad de tipo [cerrado]
Lo sénewtype se compara más a menudo condata en Haskell, pero estoy planteando esta comparación desde un punto de vista de diseño más que como un problema técnico. En los idiomas imperitivos / OO, existe el antipatrón "primitiva ...