Resultados de la búsqueda a petición "existential-type"
Funciones para tipos de datos polimórficos
datosFoo a se define como: data Foo a where Foo :: (Typeable a, Show a) => a -> Foo a -- perhaps more constructors instance Show a => Show (Foo a) where show (Foo a) = show acon algunas instancias: fiveFoo :: Foo Int fiveFoo = Foo 5 falseFoo :: ...
¿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 ...
No se pudo deducir KnownNat en dos existenciales con respecto a la biblioteca de singletons
Estaba experimentando con la biblioteca de singletons y encontré un caso que no entiendo. {-# LANGUAGE GADTs, StandaloneDeriving, RankNTypes, ScopedTypeVariables, FlexibleInstances, KindSignatures, DataKinds, StandaloneDeriving #-} ...
¿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 ...
¿Por qué no hay variables de tipo cuantificadas existencialmente en GHC Haskell?
Hay variables de tipo cuantificadas universalmente, y hay tipos de datos cuantificados existencialmente. Sin embargo, a pesar de eso, las personas dan un pseudocódigo de la formaexists a. Int -> a para ayudar a explicar conceptos a veces, no ...
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 ...
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 ...
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 ...