Resultados da pesquisa a pedido "higher-kinded-types"
O que é um tipo de classificação superior no Scala?
Você pode encontrar o seguinte na web: Tipo maior de tipo == construtor de tipo? class AClass[T]{...} // For example, class List[T]lguns dizem que esse é um tipo de classificação mais alta, porque abstrai sobre tipos que seriam compatíveis com ...
Tipos de tipo superior com C ++
Esta pergunta é para as pessoas que conhecem o Haskell (ou qualquer outra linguagem funcional que suporte tipos mais avançados) e C ++ ... É possível modelar tipos mais altos usando modelos C ++? Se sim, então ...
Estrutura mínima no Scala para coleções com tipo de retorno herdado
Suponha que alguém queira criar uma nova classe genérica,Novel[A]. Essa classe conterá muitos métodos úteis - talvez seja um tipo de coleção - e, portanto, você deseja subclassificá-la. Mas você deseja que os métodos retornem o tipo da subclasse, ...
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 ...
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 ...
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á ...
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 ...
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 ...
Quais são os usos dos tipos polimórficos?
Tipos polimórficos são uma extensão do sistema de tipos de Haskell,suportado [http://www.cs.uu.nl/wiki/bin/view/Ehc/UhcUserDocumentation#3_5_Kind_inference_and_signature] pela UHC, permitindo data A x y = A (y x)para ser digitado (digitado?) ...
Página 1 do 2