Resultados da pesquisa a pedido "existential-type"
Diferença de tipo estranho ao usar o acesso de membro em vez do extrator
Dada uma tupla com elementos do tipoA e outro tipo parametrizado emA: trait Writer[-A] { def write(a: A): Unit } case class Write[A](value: A, writer: Writer[A]) E um site de uso: trait Cache { def store[A](value: A, writer: Writer[A]): Unit ...
Tipos existentes para tipos polimórficos com limite de F e subtipos não genéricos?
Eu tenho dois subtipos que precisam ser polimórficos delimitados por F por um tipoA, e um subtipo de um desses subtipos, ou seja, trait A[T <: A[T]] { def x: T } trait Ter extends A[Ter] trait For extends A[For] trait C extends TerEm seguida, ...
O que torna o `impl Trait 'como um argumento“ universal ”e como um valor de retorno“ existencial ”?
Eu estava lendo oRFC no implemento "em expansão" [https://github.com/rust-lang/rfcs/blob/master/text/1951-expand-impl-trait.md] quando me deparei com o seguinte: Por outro lado, um programador que aprendeu pela primeira vez:fn take_iter(t: impl ...
confusão com tipos existenciais em scala
Eu estava lutando para entender os tipos existenciais no scala, mas não consigo descobrir. Aqui está o meu código de teste: 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 ...
Sublinhado para o tipo existencial no Scala
Eu li um blog sobre o tipo existencial no Scala:Tipos existentes no Scala [http://www.drmaciver.com/2008/03/existential-types-in-scala/] Neste blog, ele menciona um exemplo: Map[Class[T forSome { type T}], String] Map[Class[T] forSome { type ...
Por que não existem variáveis de tipo quantificadas existencialmente no GHC Haskell
Existem variáveis de tipo quantificadas universalmente e existem tipos de dados quantificados existencialmente. No entanto, apesar de as pessoas fornecerem pseudocódigo da formaexists a. Int -> a para ajudar a explicar conceitos, às vezes, não ...
Por que scala não unifica esse tipo lambda com o tipo subjacente?
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 }Estou errado ao esperar que o acima seja ...
Abstração de tipo no GHC Haskell
Gostaria de obter o seguinte exemplo para verificação de tipo: {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Foo where f :: Int -> (forall f. Functor f => ...
Tipo de tempo de execução de característica do parâmetro type por TypeTag quando usado com o tipo Existential no Scala
eu tenhotrait com o parâmetro type Para obter o tipo de tempo de execução, eu usoTypeTag. No entanto, quando estetrait (e suas classes) são usadas comexistential type em uma coleção, por exemploList ouMap, TypeTag está perdido". Aqui está um ...