Resultados da pesquisa a pedido "path-dependent-type"
Qualquer motivo pelo qual o scala não suporta explicitamente os tipos dependentes?
Existem tipos dependentes de caminho e eu acho que é possível expressar quase todos os recursos de linguagens como Epigram ou Agda em Scala, mas eu estou que...
Tipo Dependente do Caminho dentro do valor de classe no Scala
Eu gostaria de dar um valor de um tipo com um tipo abstrato para uma classe e depois usar o tipo dependente de caminho. Veja o exemplo a seguir (usando o Sca...
Tipos dependentes não funcionam para construtores?
Tipos dependentes de caminho são úteis:
O que se entende por tipos dependentes de caminho de Scala?
Ouvi dizer que Scala tem tipos dependentes de caminho. Tem algo a ver com classes internas, mas o que isso realmente significa e por que eu me importo?
Tipos de Scala: Classe A não é igual a T, onde T é: tipo T = A
Eu estava lendo a seção 20.7 do livro Programming in Scala e queria saber por que, enquanto esse código compila: class Food class Fish extends Food class Grass extends Food abstract class Animal { type SuitableFood <: Food def eat(food: ...
Por que precisamos especificar um tipo refinado (ou seu equivalente Aux) para a saída de determinados cálculos de tipo?
Nohttps://jto.github.io/articles/typelevel_quicksort [https://jto.github.io/articles/typelevel_quicksort] : Estamos expostos a umSum tipo cujaapply se parece com isso: def apply[A <: Nat, B <: Nat](implicit sum: Sum[A, B]): Aux[A, B, sum.Out] = ...
Drive de um tipo singleton através de um brickwall
Aqui está uma versão muito condensada: case class Brickwall[A](otherSide: A) trait Monoman { def me(m: this.type): Unit } def test(m: Monoman): Unit = m.me(Brickwall(m).otherSide) -> error: type mismatch; found : Monoman required: m.type ...
Expor um tipo dependente de caminho proveniente de um tipo singleton
Estou tentando fazer com que Scala encontre o tipo certo para um tipo dependente de caminho proveniente de um tipo singleto Primeiro, aqui está o contêiner de tipo para o exemplo e uma instância: trait Container { type X def get(): X } val ...