ΛВ
а зачем тут эта строка? type End = End.type
ну я там сделал хак небольшой, чтобы писать проще было
Size: a a a
2021 March 01
ΛВ
потому что обжект это все равно что вал концептуально
S
Всм, почему оно не видит себя?
ΛВ
и его тип надо получать через MyObj.type
ΛВ
ну то есть если я возьму и объявлю вот так
val End = new InfiniteStream[End, End] {…}
val End = new InfiniteStream[End, End] {…}
ΛВ
то это не будет работать, так как End — не тип
ΛВ
а вот End.type — тип
S
боже
ΛВ
у любого «околофинального» значения можно вызвать .type и получить его тип
ΛВ
в этом нет ничего плохого, это консистентно.
val s = «aaaa»
Option[s.type] //compiles
val s = «aaaa»
Option[s.type] //compiles
ΛВ
а зачем тут эта строка? type End = End.type
ее можно убрать, но везде, где End используется как тайп-параметр или вообще как тип, придется писать End.type
S
а зачем тогда нужно было выделять обжект в отдельную синтаксическую конструкцию, если это идентично определению вал переменной?
ΛВ
а зачем тогда нужно было выделять обжект в отдельную синтаксическую конструкцию, если это идентично определению вал переменной?
обжекты можно в скале 2 (в 3 уже неважно) на топ-левеле писать
обжекты как-то могут оптимизироваться жвм
обжекты удобнее писать, чем анонимные реализации
и идентично только на уровне интуиции как работать с типами обжектов
обжекты как-то могут оптимизироваться жвм
обжекты удобнее писать, чем анонимные реализации
и идентично только на уровне интуиции как работать с типами обжектов
Oℕ
а зачем тогда нужно было выделять обжект в отдельную синтаксическую конструкцию, если это идентично определению вал переменной?
не идентично
ΛВ
этот кусок кода кстати можно сильно лучше сделать, если избавиться от варов, добавить sealed trait, а не просто trait и использовать case class/object
Oℕ
каждый объект имеет свой тип, и писать
дольше и проблемнее, чем
мало того у объектов "ленивая инициализация" построенная на механизме инициализации в jvm, т.е.
val myVal : Foo[X] with Bar[A, B] with ...
= new Foo[X](...) with Bar[A, B] with ....
дольше и проблемнее, чем
object myObj extends Foo[X](...) with Bar[A,B ] with ....
мало того у объектов "ленивая инициализация" построенная на механизме инициализации в jvm, т.е.
myVal будет инициализирован в момент, когда исполнение дойдёт до объявления myVal, а myObj - при первом упоминанииTT
каждый объект имеет свой тип, и писать
дольше и проблемнее, чем
мало того у объектов "ленивая инициализация" построенная на механизме инициализации в jvm, т.е.
val myVal : Foo[X] with Bar[A, B] with ...
= new Foo[X](...) with Bar[A, B] with ....
дольше и проблемнее, чем
object myObj extends Foo[X](...) with Bar[A,B ] with ....
мало того у объектов "ленивая инициализация" построенная на механизме инициализации в jvm, т.е.
myVal будет инициализирован в момент, когда исполнение дойдёт до объявления myVal, а myObj - при первом упоминанииПервое упоминание - первый вызов?
ΛВ
вызвать объект невозможно
ΛВ
можно вызвать его метод apply, который «засахарится» в некий вызов объекта