Resultados da pesquisa a pedido "existential-type"
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, ...
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 ...
Transmitir uma variável ao tipo de tempo de execução do TypeCast existencial digitado no Scala
Esta discussão [https://stackoverflow.com/questions/29380839/trait-runtime-type-of-type-parameter-through-typetag-when-used-with-existential] abordado como usarTypeTag para obter o tipo de tempo de execução dos parâmetros de tipo quando usado ...
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 ...
Compreendendo a assinatura `k: Nat ** 5 * k = n`
A seguinte função compila: onlyModByFive : (n : Nat) -> (k : Nat ** 5 * k = n) -> Nat onlyModByFive n k = 100Mas o que fazk representar com a suaNat ** 5 * k = n sintaxe? Além disso, como posso chamá-lo? Aqui está o que eu tentei, mas não ...
Skolemization de expressões de tipo existencial
No Scala, a seguinte expressão gera um erro de tipo: val pair: (A => String, A) forSome { type A } = ( { a: Int => a.toString }, 19 ) pair._1(pair._2)Como mencionado emSI-9899 [https://issues.scala-lang.org/browse/SI-9899]e isto responda ...
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 ...