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

5 la respuesta

¿Por qué la definición de función para todos los tipos a la vez no está permitida en Haskell?

1 la respuesta

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

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

3 la respuesta

¿Cuál es la base teórica de los tipos existenciales?

2 la respuesta

Scala - Hacer cumplir el tamaño de Vector en tiempo de compilación

¿Es posible imponer el tamaño de una

2 la respuesta

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

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?

1 la respuesta

¿Por qué uno selecciona miembros de tipo Scala con un hash en lugar de un punto?

En Scala, la sintaxis para seleccionar un tipo de una clase es diferente de la de seleccionar cualquier otra cosa de una clase. En eso, el primero usa un hash como operador de selección en lugar de un punto. ¿Porqué es eso Ejemplo: si tenemos ...

1 la respuesta

¿Cómo puedo tener un tipo de negación en Scala?

Quiero hacer algo como esto: def iDontLikeStrings(arg: Not[String]) = {....}Básicamente, esto debería compilar: iDontLikeStrings(23) iDontLikeStrings(true)Y esto NO debe compilar: iDontLikeStrings("hello")

1 la respuesta

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