VH
Это scalaway, чего вы
Size: a a a
2019 December 31
2020 January 01
λ
С новым годом @jey_lee
AL
Ура!
AL
Я снова поверил в чудо
АР
С новым годом!
GP
С Новым Годом всех, да!
A
С новым годом!!!!
RK
С Новым годом :)
G
С новым годом :)
jc
foo на вас, bar на вас и с новым годом вас )))))
NE
С нового года все на Rust!
A
С нового года все на Rust!
какое внезапное пожелание
Д
Всех с новым годом!!! Ура !!!
IL
sealed abstract class Dialog {
type State
type Event
def transition(event: E): Dialog
}Как в сигнатуре метода transition описать, что в возвращаемом Dialog типы State и Event должны быть такими же, как в исходном?
D
как вариант типизировать сам класс этими типами:
sealed abstract class Dialog[State, Event] {
def transition(event: Event): Dialog[State, Event]
}IL
как вариант типизировать сам класс этими типами:
sealed abstract class Dialog[State, Event] {
def transition(event: Event): Dialog[State, Event]
}вот пытаюсь как раз избежать использования тайп-параметров класса
Oℕ
sealed abstract class Dialog {
type State
type Event
def transition(event: E): Dialog
}Как в сигнатуре метода transition описать, что в возвращаемом Dialog типы State и Event должны быть такими же, как в исходном?
{
self =>
Dialog{ type State = self.State; type Event = self.Event}
self =>
Dialog{ type State = self.State; type Event = self.Event}
OO
sealed abstract class Dialog {
type State
type Event
def transition(event: E): Dialog
}Как в сигнатуре метода transition описать, что в возвращаемом Dialog типы State и Event должны быть такими же, как в исходном?
через path-dependent types
https://danielwestheide.com/blog/the-neophytes-guide-to-scala-part-13-path-dependent-types/
https://danielwestheide.com/blog/the-neophytes-guide-to-scala-part-13-path-dependent-types/
IL
{
self =>
Dialog{ type State = self.State; type Event = self.Event}
self =>
Dialog{ type State = self.State; type Event = self.Event}
Спасибо. Почему-то Идея ругается "Apparent result type refinement; is an assignment missing? ", думал что-то не так делаю.
VH
Спасибо. Почему-то Идея ругается "Apparent result type refinement; is an assignment missing? ", думал что-то не так делаю.
Идеи Aux паттерн почему-то не нравиться, забей