ΛВ
object MyObj:
def apply(int: Int): Int = int + 3
val jnt = MyObj(3) //6
def apply(int: Int): Int = int + 3
val jnt = MyObj(3) //6
Size: a a a
2021 March 01
Oℕ
Первое упоминание - первый вызов?
Первое упоминание
Oℕ
обращение к любому полю или методу, присвоение или передача объекта куда-то
не уверен относительно упоминания типа внутри объекта, но в scala3 это было бы очень логично, т.к. soundness DOT существенно полагается на то, что все элементы пути к типу вычислены
не уверен относительно упоминания типа внутри объекта, но в scala3 это было бы очень логично, т.к. soundness DOT существенно полагается на то, что все элементы пути к типу вычислены
TT
S
каждый объект имеет свой тип, и писать
дольше и проблемнее, чем
мало того у объектов "ленивая инициализация" построенная на механизме инициализации в 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 - при первом упоминанииМожно задать тайпалиас
Тоесть ленивость определяется на этапе описания объекта, а не на этапе использования?
Тоесть ленивость определяется на этапе описания объекта, а не на этапе использования?
Oℕ
Можно задать тайпалиас
Тоесть ленивость определяется на этапе описания объекта, а не на этапе использования?
Тоесть ленивость определяется на этапе описания объекта, а не на этапе использования?
ленивость инициалиации объектов - это часть спецификации scala
Oℕ
Можно задать тайпалиас
Тоесть ленивость определяется на этапе описания объекта, а не на этапе использования?
Тоесть ленивость определяется на этапе описания объекта, а не на этапе использования?
нельзя задать тайпалиас для цепочки наследования и в тайпалиасе нельзя аргументы классу (и трейту) указать
Oℕ
т.е. вы не можете написать
type Foo = Bar with Baz
и потом
object Quux extends Foo
type Foo = Bar with Baz
и потом
object Quux extends Foo
S
странная штука, эта скала
Oℕ
Oℕ
плюс есть case object, которые генерируют ещё кучу штуки подобно case class
Oℕ
и package object упоминавшийся, который для симуляции топлевела используется
Oℕ
тоже вещи, которые не эквивалентны валам
S
печально. я надеялся что такое только в c++
S
E
Прошу прощения
Но не мог бы ктонибудь мне помочь с этим кодом?
https://scastie.scala-lang.org/qIvCF86SQtq6QzNXLrTkvg
Но не мог бы ктонибудь мне помочь с этим кодом?
https://scastie.scala-lang.org/qIvCF86SQtq6QzNXLrTkvg
а что вы пытаетесь сделать? гетерогенный лист?
S
спасибо ответившим
Oℕ
печально. я надеялся что такое только в c++
какое такое
S
а что вы пытаетесь сделать? гетерогенный лист?
да, просто поковырять скалу для себя.
S
какое такое
много фич, которые выглядят резонно, но чем дольше на них смотришь, тем больше понимаешь что в языке явно не хватает унификации