Декларирование типов на основе типов других значений

Question

На данный момент у меня есть следующий Scala-код с помощью библиотеки Scala Graph:

val g = Graph.from(nodes, edges) 
      // nodes: List[Table]; edges: List[LkUnDiEdge[Table,String]] 
      // inferred - g: Graph[Table, LkUnDiEdge] 

... 

def nodeTransformer(innerNode: Graph[Table, LkUnDiEdge]#NodeT) = { 
    val node = innerNode.value 
    Some(root, 
      DotNodeStmt(node.name, style(node))) 
} 

Вы можете заметить, что параметр nodeTransformer является внутренним типом типа g , Подобный код повторяет конкретный тип Graph или некоторые его параметры в других местах в кодовой базе.

Ввод типа не работает во всех местах, и я хотел бы выразить эту зависимость типа, не повторяя одинаковые явные типы кода. В качестве примера, оператор C++ typeof позволит мне переписать функцию следующим образом:

def nodeTransformer(innerNode: typeof(g)#NodeT) = { 
    ... 
} 

Что такое нормальный способ выразить такие зависимости статических типов в Scala, когда умозаключение типа потерпит неудачу?

Answer 1

насчет:

def nodeTransformer(innerNode: g.NodeT) = { 
    ... 
} 

В отличие от C++ typeof, вы должны пройти innerNode точно для g, но не какой-либо другой Graph экземпляр (даже с таким же типом): What is meant by Scala's path-dependent types?

P.S. Чтобы извлечь тип из общего (без элемента типа внутри) - How to capture T from TypeTag[T] or any other generic in scala?