Sealed abstract class Dialog { type State type

Question

Sealed abstract class Dialog { type State type

Event

def transition(event: E): Dialog
}

Как в сигнатуре метода transition описать, что в возвращаемом Dialog типы State и Event должны быть такими же, как в исходном?

#programming #russian #scala

0

01.01.2020

2 ответов

20 просмотров

Alex Olgashko

через path-dependent types https://danielwestheide.com/blog/the-neophytes-guide-to-scala-part-13-path-dependent-types/

0

01.01.2020

Oleg ℕižnik · Accepted Answer

Oleg ℕižnik

Dialog{ type State = this.State; type Event = this.Event}

0

01.01.2020

169 похожих чатов

Sealed abstract class Dialog { type State type

2 ответов

Похожие вопросы