Resultados da pesquisa a pedido "path-dependent-type"

4 a resposta

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

3 a resposta

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

1 a resposta

Tipos dependentes não funcionam para construtores?

Tipos dependentes de caminho são úteis:

2 a resposta

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

2 a resposta

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

1 a resposta

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?

3 a resposta

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

2 a resposta

Função de restrição baseada na origem (tipo Dependente do Caminho? Geração de Tipo?)

1 a resposta

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