path-dependent-type

1зной

1ответ

Ссылаясь на суб-типа пути в зависимости от типа

следующие работы: class Outter { type Inner = Either[Int,String] type L = Left[Int,String] type R = Right[Int,String] def f(x: Inner) = 1 } val o = new Outter o.f(

scala path-dependent-type 2016-02-21

---

0зной

1ответ

Путь-зависимый тип аргумента не соблюдается

class Outter { type Inner = Either[Int, String] def f(x: this.Inner) = 1 } val o = new Outter val someLeft = Left(1) o.f(someLeft) пытался на РЕПЛ (?): scala> :load Learn.scala Load

scala path-dependent-type 2016-02-22

---

4зной

1ответ

В Scala, как я могу ограничить несколько параметров, должен быть тип внутри того же типа?

Я пытаюсь использовать тип, зависящий от типа, с дженериками. У меня есть два класса, класс C2 вложен в C1. case class C1(v1: Int) { case class C2(v2: Int) } И у меня есть два объекта класса С

scala path-dependent-type 2016-12-20

---

2зной

3ответ

Удаления путь-зависимость от проверки типа в Scala

Скажет, у нас есть эти вложенные классы и конкретизация A: class A { case object B case class C(c: Int) } val a1 = new A() Теперь я могу проверить, что a1.B является экземпляром a1.B.typ

scala types path-dependent-type 2016-02-27

---

1зной

1ответ

Scala для переходов на собственные типы с зависимыми от пути типами

Пару раз сейчас я столкнулся с проблемой, которая, по моему мнению, должна быть разрешимой для зависимых от пути типов, но я не уверен, что мне удалось это сделать поэтому самым полным или правильным

scala types dependent-type path-dependent-type 2016-11-04

---

0зной

1ответ

Пример зависимых типов пути не работает

Scala n00b здесь. Довольно уверен, что я понимаю PDT, но убедился и столкнулся с проблемой; вот предыдущий вопрос Scala types: Class A is not equal to the T where T is: type T = A с примерами кода, ко

scala path-dependent-type 2016-06-10

---

1зной

2ответ

Почему лучший способ избежать попадания в ловушку от абстрактного типа Scala?

У меня есть основной пример из главы 20.7 «Программирование в Скале» (Martin Odersky, Lex Spoon и Bill Venners) по теме «Абстрактные типы». Код ниже в листинге 20.10, за исключением того, что я добави

scala path-dependent-type abstract-type 2017-02-20

---

4зной

2ответ

Scala: неявный поиск экземпляра класса типа для пути в зависимости от типа

trait Encoder[From, To] { def encode(x: From): To } object Encoder { implicit val thingToString: Encoder[Thing, String] = new Encoder[Thing, String] { def encode(x: Thing): String = x

scala implicit path-dependent-type 2016-11-13

---