Oℕ
может, если внутри нет сайдэффектов
Ну а там есть мутабельное состояние
https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Eval.scala#L138
https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Eval.scala#L138
Size: a a a
2020 August 23
ΛВ
Я помню, в этом чате обсуждалось, что в скала в рамках одного метода мутируемая структура это норм, главное чтобы результат функции был иммутабельный. А у вас в продакшн коде есть методы которые внутри себя реализуют алгоритмы с мутабельными структурами? или у вас все очень строго?
Фобос такой вроде в целом.
Oℕ
(и я не очень понял, что такое "иммутабельная функция")
ну чистой функции
Oℕ
прайват зис
т.е. если private this то иммутабельное?
OO
это "недоступное извне"
OO
(пожалуйста, без рефлексии)
OO
то есть чистая функция может сколько угодно мутировать что угодно и оставаться "чистой", до тех пор, пока эти операции "недоступны извне"
Oℕ
это "недоступное извне"
class Named{
private[this] var name: String = _
def getName : name
def setName(value: String) : Unit =
name = value
}
такой тоже иммутабельный?
private[this] var name: String = _
def getName : name
def setName(value: String) : Unit =
name = value
}
такой тоже иммутабельный?
OO
class Named{
private[this] var name: String = _
def getName : name
def setName(value: String) : Unit =
name = value
}
такой тоже иммутабельный?
private[this] var name: String = _
def getName : name
def setName(value: String) : Unit =
name = value
}
такой тоже иммутабельный?
нет, потому что есть публичный геттер
Oℕ
а то вы там привяжетесь, что не геттится
Oℕ
ну ой, тогда не чистая функция
значит, функция, которая Eval возвращает - не чистая
OO
та не важно, конкретно геттер или что
если функция для внутренних нужд что-то там мутирует, то и ладно
до тех пор, пока эти мутации незаметны для стороннего кода
если функция для внутренних нужд что-то там мутирует, то и ладно
до тех пор, пока эти мутации незаметны для стороннего кода
Oℕ
значит больше половины API Foldable нечистое, и кусок API всех наиболее используемых тайпклассов нечистый
Oℕ
та не важно, конкретно геттер или что
если функция для внутренних нужд что-то там мутирует, то и ладно
до тех пор, пока эти мутации незаметны для стороннего кода
если функция для внутренних нужд что-то там мутирует, то и ладно
до тех пор, пока эти мутации незаметны для стороннего кода
как определить "незаметность"
OO
в общем случае - не знаю
Oℕ
Ну в общем, к тому, что в реальности всё равно придётся делать ансейф аннотации