Resultados de la búsqueda a petición "higher-kinded-types"
Scala mayor varianza de tipo kinded
Estoy sumergiendo los dedos de los pies en tipos más altos, explorando un ejemplo muy básico de Scala: trait Mappable[F[_]] { def map[A, B](fa: F[A])(f: A => B): F[B] } object Mappable { implicit object MappableOption extends Mappable[Option] { ...
Especificar un concepto para un tipo que tiene una plantilla de función miembro usando Concepts Lite
Estoy tratando de especificar un concepto para restringir un tipo de tipo superior que tiene una plantilla de función miembro usando Concepts Lite. Sin embargo, no puedo encontrar dentro delespecificación ...
¿Qué tipos de problemas ayudan a resolver mejor el "polimorfismo de tipo superior"?
Mientras leo algunas secciones enHistoria de Haskell [https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf] , Me encontré con: Sin embargo, el polimorfismo de tipo superior tiene una utilidad independiente: es ...
¿Qué es un tipo de clase superior en Scala?
Puede encontrar lo siguiente en la web: ¿Tipo de tipo más alto == constructor de tipos? class AClass[T]{...} // For example, class List[T]Algunos dicen que este es un tipo de tipo más alto, porque abstrae sobre tipos que cumplirían con ...
¿Cuáles son las limitaciones en la inferencia de tipos de clase superior en Scala?
En el siguiente código de ejemplo simplificado:
l tipo extraño no coincide cuando se usa el acceso de miembro en lugar del extractor
Dado una tupla con elementos de tipoA y otro tipo parametrizado enA: trait Writer[-A] { def write(a: A): Unit } case class Write[A](value: A, writer: Writer[A]) Y un sitio de uso: trait Cache { def store[A](value: A, writer: Writer[A]): Unit ...
Estructura genérica sobre un tipo genérico sin parámetro de tipo
¿Es posible hacer algo así en Rust? trait Foo<T> {} struct A; struct B; struct Bar<T: Foo> { a: T<A>, b: T<B> }Sé que podría usar dos parámetros paraBar, pero creo que tiene que haber una mejor manera de hacer esto. Quiero implementar unGraph ...
¿Cuáles son los usos de los tipos polimórficos?
Los tipos polimórficos son una extensión del sistema de tipos de Haskell, soportado [http://www.cs.uu.nl/wiki/bin/view/Ehc/UhcUserDocumentation#3_5_Kind_inference_and_signature] por UHC, permitiendo data A x y = A (y x)ser mecanografiado ...
La escala de tipos más altos en def implícito falla con "no se pudo encontrar el valor implícito"
Estoy usando def implícito para construir un recursivoHList tipo, para que coincida con varios tipos de tipos más altos deHList. Estoy muy inspirado por esta publicación [http://jnordenberg.blogspot.fr/2008/08/hlist-in-scala.html]. Este código ...
Página 1 de 2