исследование ключевых слов `type` и` # `в scala

Может ли кто-нибудь объяснить, как

Как вывести правильный тип параметра из типа проекции?

У меня есть некоторые проблемы с тем, что Scala выводит правильный тип из проекции типа.Учтите следующее:

исследование ключевых слов `type` и` # `в scala

Может ли кто-нибудь объяснить, какtype ключевое слово и# оператор работает в Scala и как его использовать? Пожалуйста, посмотрите на примеры. //Example1 scala> type t1 = Option.type defined type alias t1 //Shouldn't this work since previous ...

Как вывести правильный тип параметра из типа проекции?

У меня есть некоторые проблемы с тем, что Scala выводит правильный тип из проекции типа. Учтите следующее: trait Foo { type X } trait Bar extends Foo { type X = String } def baz[F <: Foo](x: F#X): Unit = ???Затем следующее компилируется ...

F-ограниченная квантификация через член типа вместо параметра типа?

F-ограниченная квантификация через член типа вместо параметра типа?

Я хотел бы переместить параметр типа в член типа. Это отправная точка, которая работает: trait Sys[S <: Sys[S]] { type Tx type Id <: Identifier[S#Tx] } trait Identifier[Tx] { def dispose()(implicit tx: Tx): Unit } trait Test[S <: Sys[S]] { def ...