Resultados de la búsqueda a petición "higher-kinded-types"
Marco mínimo en Scala para colecciones con tipo de retorno heredado
Supongamos que uno quiere construir una nueva clase genérica,Novel[A]. Esta clase contendrá muchos métodos útiles, tal vez es un tipo de colección, y por lo tanto, desea subclasificarla. Pero desea que los métodos devuelvan el tipo de ...
¿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 ...
¿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 ...
Es posible "curry" tipos más amables en Scala?
Supongamos que tengo un rasgo con dos parámetros de tipo, por ejemplo, trait Qux[A, B] y otro rasgo con un parámetro de tipo de tipo superior, por ejemplo, trait Turkle[C[_]] Me gustaría poder sustituir un valor fijo por uno de los parámetros ...
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 ...
Página 2 de 2