Scala: praca wokół "nielegalnego odwołania cyklicznego"

Question

Próbuję zaimplementować drzewo oparte na HashMap, które obsługuje wyszukiwanie podmiejskie O (1) dla danego klucza root. W tym celu, Próbuję wykonać następujące czynności:

scala> type Q = HashMap[Char, Q] 
<console>:6: error: illegal cyclic reference involving type Q 
     type Q = HashMap[Char, Q] 
         ^

Więc pytanie brzmi, czy jest jakiś sposób dla mnie do zrobienia czegoś w tym rodzaju, bez uciekania się do brzydkiego HashMap[Char, Any] z późniejszego odlewania wartości do HashMap[Char, Any] ?

Teraz widzę, że mogę użyć czegoś podobnego do poniższego, aby uniknąć błędu dotyczącego cyklicznych odniesień, a może nawet być czystsze - ale byłoby fajnie dowiedzieć się, jak poprawnie wykonać to w pierwszy sposób , tylko dla wartości edukacyjnej.

import collections.mutable.HashMap 

class LTree { 
    val children = new HashMap[Char, LTree] 
} 

Dzięki za bukiet.

Answer 1

pewnie nie „dostać” na pytanie, ale co

class L { 
    type Q = java.util.HashMap[Char, this.type] 
} 

lub

class Q extends java.util.HashMap[Char, Q] 

Answer 2

Dla typów nie można extend, takich jak Either, można również użyć banalne opakowanie:

class MyEither(get: Either[String, MyEither]) 

lub drzewo rekurencyjne z Either (coś, co doprowadziło mnie do tego wątku):

// represents (validation) errors for a tree structure of nested dictionaries 
type FieldName = String 
type Error = String 

type Errors = List[(FieldName, FieldError)] 
case class FieldError(val get: Either[Error, Errors]) 

który jest typu prawny wersja tego pseudo-kod:

type Error = String 
type Errors = List[(FieldName, Either[Error, Errors])] 

Następnie wszystkie Left(...) i Right(...) połączenia staną FieldError(Left(...)) i FieldError(Right(...)) odpowiednio, takie, że np FieldError(Right(x)).get == Right(x).