Моделирование иерархии типов для DSL в Scala

Question

Я пытаюсь смоделировать DSL в Scala. (Я очень новичок в Scala, поэтому я мог бы пропустить что-то тривиальное, и в этом случае извинения). DSL поддерживает очень простую систему типов, где объекты, называемые «Термины», могут иметь тип, который по умолчанию расширяет Object или может распространять другие типы, которые по своему праву в конечном итоге расширяют другой тип или Object.

Я пытаюсь смоделировать этот тип иерархию в Scala, используя тематический класс:

case class TermType(name: String, superType: TermType) 

Однако, я хочу, чтобы иметь возможность поддержать дело «по умолчанию» (тот, где тип просто расширяет «Object '), без указания типа супер, поэтому что-то вроде:

//the following does not work, just illustrating what I want to achieve 
case class TermType(name: String, superType: TermType = new TermType("Object", ???)) 

Не уверен, что это правильный подход. Я хочу избежать пометок нулей или подобных вещей. Я не знаю, будет ли путь Option в некотором роде лучше (если он вообще работает).

Как лучше всего это сделать?

Answer 1

, например:

sealed abstract class TermType 
case class TermTypeSimple(name: String) extends TermType 
case class TermTypeWithParen(name: String, parent: TermType) extends TermType 

Другой способ:

case class TermType(name: String, superType: Option[TermType] = None) 

С обыкновений:

TermType("Hi") 
TermType("Buy", Some(TermType("Beer"))