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 ...
Resolução implícita de parâmetros para tipos mais elevados
Considere o seguinte código: object foo { trait Bar[Q[_]] implicit object OptionBar extends Bar[Option] def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) = () def main(args: Array[String]) { test(Some(42): Option[Int]) //??? } }Isso funciona, mas ...
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?) ...
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, ...
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 ...
Página 2 do 2