Resultados de la búsqueda a petición "existential-type"
¿Por qué scala no unifica este tipo lambda con el tipo subyacente?
trait A { type T def test(t: T): Unit } case class B[S <: A](a: S, t : S#T) { def test() = a.test(t) // Error: type mismatch; // found : B.this.t.type (with underlying type S#T) // required: B.this.a.T }¿Me equivoco al esperar que se compile lo ...
Subrayado para tipo existencial en Scala
He leído un blog sobre tipo existencial en Scala:Tipos existenciales en Scala [http://www.drmaciver.com/2008/03/existential-types-in-scala/] En este blog, menciona un ejemplo: Map[Class[T forSome { type T}], String] Map[Class[T] forSome { type ...
Type abstracción en GHC Haskell
Me encantaría obtener el siguiente ejemplo de verificación de tipo: {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Foo where f :: Int -> (forall f. Functor ...
¿Qué hace que "Rasgo implícito" como argumento sea "universal" y como valor de retorno "existencial"?
Estaba leyendo elRFC sobre el rasgo implícito "en expansión" [https://github.com/rust-lang/rfcs/blob/master/text/1951-expand-impl-trait.md] cuando me encontré con lo siguiente: Por el contrario, un programador que aprendió por primera vez:fn ...
confusión con tipos existenciales en scala
Estaba luchando por comprender los tipos existenciales en scala pero no puedo entenderlo. Aquí está mi código de prueba: scala> val a: Array[T] forSome {type T} = Array(1,2.2,"3") a: Array[_] = Array(1, 2.2, 3) scala> val b: Array[T forSome ...
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 ...
¿Diferencia entre los tipos existenciales de Scala y el comodín de Java por ejemplo?
Un poco más específico que la pregunta de desbordamiento de pila¿Qué es un tipo existencial?, cual es la diferencia entre Scala'stipos existenciales y de...
Tipos existenciales para tipos polimórficos con límite F y subtipos no genéricos?
Tengo dos subtipos que necesito que sean polimórficos limitados por F por un tipoA, y un subtipo de uno de esos subtipos, es decir trait A[T <: A[T]] { def x: T } trait Ter extends A[Ter] trait For extends A[For] trait C extends TerLuego trato ...
Convierta una variable en un tipo de tiempo de ejecución de TypeCast con tipo existencial en Scala
Este hilo [https://stackoverflow.com/questions/29380839/trait-runtime-type-of-type-parameter-through-typetag-when-used-with-existential] abordó cómo usarTypeTag para obtener parámetros de tipo de tiempo de ejecución cuando se usa conExistential ...
Tipo de parámetro de tipo de tiempo de ejecución de rasgo a través de TypeTag cuando se usa con tipo existencial en Scala
yo tengotrait con parámetro de tipo Para obtener el tipo de tiempo de ejecución que usoTypeTag. Sin embargo, cuando estotrait (y sus clases) se usan conexistential type en una colección, p.List oMap, TypeTag está perdido". Aquí hay un ejemplo de ...