Resultados de la búsqueda a petición "existential-type"
Inferencia de tipo Scala en un tipo existencial
Considere el siguiente fragmento de código, que es una versión reducida de mi problema original:
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 ...
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 ...
¿Se pueden reemplazar todos los usos de `forSome` por un uso equivalente de` _`?
Por ejemplo,List[T] forSome { type T } es equivalente aList[_], pero esto es cierto para cada uso posible deforSome o hay casos dondeforSome no se puede reemplazar por un equivalente de la segunda sintaxis?
¿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 ...
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 ...
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 ...