Resultados de la búsqueda a petición "type-systems"
Es posible colocar restricciones de desigualdad en las variables de tipo haskell?
¿Es posible colocar una restricción de desigualdad en las variables de tipo de una función, a lafoo :: (a ~ b) => a -> b como enDocumentos de familia tipo GHC [http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/type-families.html], ¿excepto ...
Para Scala, ¿hay alguna ventaja para borrar?
He estado escuchando mucho sobre diferentes lenguajes JVM, aún en modo de vaporware, que proponen implementar la reificación de alguna manera. Tengo este fastidioso medio recordado (o totalmente imaginado, no sé cuál) pensó que en algún lugar ...
¿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 ...