Que tipos de problemas ajudam o "polimorfismo de tipo superior" a resolver melhor?

Ao ler algumas seções doHistória de Haskell [https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf] , Me deparei com: No entanto, o polimorfismo de tipo superior tem utilidade independente: é inteiramente possível, e ...

Scala maior variação do tipo de tipo

Estou mergulhando meus dedos em tipos mais elevados, explorando um exemplo muito básico do Scala: trait Mappable[F[_]] { def map[A, B](fa: F[A])(f: A => B): F[B] } object Mappable { implicit object MappableOption extends Mappable[Option] { def ...

Estrutura genérica sobre um tipo genérico sem parâmetro de tipo

É possível fazer algo assim no Rust? trait Foo<T> {} struct A; struct B; struct Bar<T: Foo> { a: T<A>, b: T<B> }Eu sei que eu poderia usar apenas dois parâmetros paraBar, mas acho que deve haver uma maneira melhor de fazer isso. Eu quero ...

Em Haskell, os “tipos de classe superior” são realmente tipos? Ou eles apenas denotam coleções de tipos * concretos * e nada mais?

Funções paramametralmente polimórficasConsidere a seguinte função: f :: a -> Int f x = (1 :: Int)Podemos dizer que o tipo def éa -> Int, e essaf portanto, é do tipo "polimórfico". Qual das alternativas a seguir é a maneira mais precisa de ...

Os tipos de tipo superior Scala em def implícita falham com "não foi possível encontrar valor implícito"

Estou usando def implícito para criar um recursivoHList para corresponder a vários tipos de tipos mais elevados deHList. Eu sou fortemente inspirado poresta postagem [http://jnordenberg.blogspot.fr/2008/08/hlist-in-scala.html]. Este código está ...

Especificando um conceito para um tipo que possui um modelo de função de membro usando o Concepts Lite

Estou tentando especificar um conceito para restringir um tipo mais alto que possui um modelo de função de membro usando o Concepts Lite. No entanto, não consigo encontrar dentro doespecificação ...

Usando limites de contexto “negativamente” para garantir que a instância de classe de tipo esteja ausente do escopo

Quais são as limitações na inferência de tipos mais gentis no Scala?

No código de exemplo simplificado a seguir:

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 ...

É possível “curry” tipos mais caros no Scala?

Suponhamos que eu tenha uma característica com dois parâmetros de tipo, por exemplo, trait Qux[A, B] e outra característica com um parâmetro de tipo mais alto, por exemplo, trait Turkle[C[_]] Gostaria de poder substituir um valor fixo por um ...