Resultados de la búsqueda a petición "existential-type"
¿Hay un significado especial para un guión bajo (_) en Tipo de límites?
Estoy tratando de entender los tipos existenciales de Scala.¿Hay alguna diferencia entre:
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 ...
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 ...
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 ...
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 ...
Comprender `k: Nat ** 5 * k = n` Firma
La siguiente función compila: onlyModByFive : (n : Nat) -> (k : Nat ** 5 * k = n) -> Nat onlyModByFive n k = 100Pero que hacek representar con suNat ** 5 * k = n ¿sintaxis? Además, ¿cómo puedo llamarlo? Esto es lo que probé, pero no entiendo ...
Skolemization de expresiones existencialmente escritas
En Scala, la siguiente expresión genera un error de tipo: val pair: (A => String, A) forSome { type A } = ( { a: Int => a.toString }, 19 ) pair._1(pair._2)Como se menciona enSI-9899 [https://issues.scala-lang.org/browse/SI-9899]y esto responder ...
¿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 ...
¿Cómo expresar tipos existenciales utilizando un polimorfismo de tipo de rango más alto (rango-N)?
Estamos acostumbrados a tener tipos cuantificados universalmente para funciones polimórficas. Los tipos cuantificados existencialmente se utilizan con mucha ...
Scala - Cualquier subrayado vs vs en genéricos
¿Cuál es la diferencia entre las siguientes definiciones de genéricos en Scala?