Resultados de la búsqueda a petición "path-dependent-type"

2 la respuesta

Función de restricción basada en el origen (¿Tipo de ruta dependiente? ¿Generación de tipo?)

Lo siento por el terrible título, no estoy seguro de uno mejor. Aquí hay una simplificación de mi problema (lo siento si parece tan trivial, que no tiene sen...

4 la respuesta

¿Alguna razón por la que Scala no admite explícitamente los tipos dependientes?

Existen tipos dependientes de la ruta y creo que es posible expresar casi todas las características de lenguajes como Epigram o Agda en Scala, pero me pregun...

2 la respuesta

Tipo dependiente de la ruta dentro del valor de la clase en Scala

Me gustaría dar un valor de un tipo con un tipo abstracto a una clase y luego usar su tipo dependiente de la ruta. Mira el siguiente ejemplo (usando Scala 2....

1 la respuesta

¿Tipos dependientes que no trabajan para constructores?

1 la respuesta

¿Qué se entiende por tipos dependientes de la ruta de Scala?

He oído que Scala tiene tipos dependientes de la ruta. Tiene algo que ver con las clases internas, pero ¿qué significa esto realmente y por qué me importa?

3 la respuesta

Tipos de escala: la clase A no es igual a la T donde T es: tipo T = A

Estaba leyendo la sección 20.7 del libro Programación en Scala y me preguntaba por qué mientras se compila este código: class Food class Fish extends Food class Grass extends Food abstract class Animal { type SuitableFood <: Food def eat(food: ...

1 la respuesta

¿Por qué necesitamos especificar un tipo refinado (o su Aux equivalente) para la salida de ciertos cálculos de tipo?

Enhttps://jto.github.io/articles/typelevel_quicksort [https://jto.github.io/articles/typelevel_quicksort] : Estamos expuestos a unSum tipo cuyoapply Se ve como esto: def apply[A <: Nat, B <: Nat](implicit sum: Sum[A, B]): Aux[A, B, sum.Out] = ...

3 la respuesta

Conducción de un tipo singleton a través de un brickwall

Aquí hay una versión muy 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.typestupid ...

2 la respuesta

Exponer un tipo dependiente de la ruta proveniente de un tipo singleton

Estoy tratando de hacer que Scala encuentre el tipo correcto para un tipo dependiente de la ruta que proviene de un tipo singleton. Primero, aquí está el contenedor de tipo para el ejemplo, y una instancia: trait Container { type X def get(): ...