higher-kinded-types

15El calor

3Respuesta

¿Podemos definir una función de identidad de nivel de tipo de mayor nivel en Scala?

En Scala podemos definir la función de identidad a nivel de tipo para tipos-kinded inferiores como así, type Id[A] = A Podemos también definir algo similar para los tipos de mayor kinded? Es decir.

5El calor

2Respuesta

¿Por qué los nombres forman un tipo y no solo un tipo?

Hace algún tiempo en una de las extensiones de Haskell (no se puede encontrar el enlace), y recently in Ur Encontré que los nombres (por ejemplo, de los campos de registro) forman una especie. ¿Alguie

5El calor

1Respuesta

tipo extraño desajuste cuando se utiliza el acceso de miembros en lugar de extractor de

Dada una tupla con elementos de tipo A y otro tipo parametrizado en A: trait Writer[-A] { def write(a: A): Unit } case class Write[A](value: A, writer: Writer[A]) y un sitio de uso: trait Cache { d

12El calor

3Respuesta

aplicación parcial de los parámetros de tipo

estoy tratando desesperadamente de resolver el siguiente: trait Access[Res[_]] { def access[C]: Res[C] } trait CList[C1, A] extends Access[CList[_, A]] // ?! def test[C1, C2, A](c: CList[C1, A]):

10El calor

2Respuesta

Método abreviado de límites de contexto con tipos de caracteres más altos

¿Es posible utilizar el acceso directo de sintaxis de límites de contexto con tipos de caracteres más altos? trait One { def test[W : ClassManifest]: Unit } // first-order ok trait Two { def test[W[_

7El calor

2Respuesta

Parametrizar tipos por enteros en Haskell

Estoy tratando de hacer algunos tipos de Haskell que están parametrizados no por tipos sino por elementos de un tipo, específicamente enteros. Por ejemplo, un vector (álgebra lineal) en R^2 y un vecto

6El calor

2Respuesta

Polimorfismo de orden superior + tipos de valor

He leído en alguna parte que el polimorfismo de orden superior no se puede utilizar/implementar en los sistemas de tipos con los tipos de valor (como .NET). ¿Está bien y por qué?

7El calor

4Respuesta

¿Para qué sirve la clase A [_]?

Los tipos de símbolos class A[_] o de def a[_](x: Any) tienen un parámetro de tipo que no se puede referenciar en el cuerpo, por lo tanto, no veo dónde es útil y por qué se compila. Si uno trata de ha

17El calor

3Respuesta

¿Cuáles son los usos de los tipos polimórficos?

tipos polimórficos son una extensión del sistema de tipos de Haskell, supported por UHC, permitiendo data A x y = A (y x) a ser mecanografiadas (kinded?) Como a -> (a -> *) -> *. ¿Para qué son útile

9El calor

2Respuesta

resolución parámetro implícito para los tipos más altos kinded

Considere el siguiente código: object foo { trait Bar[Q[_]] implicit object OptionBar extends Bar[Option] def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() def main(args: Ar