dotty

14Ciepło

1Odpowiedz

Case typ argumentu konstruktora klasy w zależności od poprzedniej wartości argumentu

próbuję zrobić następujące trait Stateful { type State } case class SystemState(system: Stateful, state: system.State) // does not compile to znaczy rodzaj state zależy (wartość) system. To

scala case-class dependent-type dotty 2015-03-13

---