Size: a a a

Scala User Group

2020 August 23

Oℕ

Oleg ℕizhnik in Scala User Group
Компилятор с наивными формулировками не справится даже с scala.collection.List
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Т.е. если мы не хотим внедрять в скала компилятор дополнительный прувер на скпарационке, скорее всего придётся удовлетвориться
"использует только чистые определения и не упоминает не объявленных вне блока мутабельных переменных" + "принудительно объявлено чистым"
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Определения - это и def и lazy val и object и конструкторы классов.
В дотти это ещё и given .
На всё нужна эта аннотация и анализ
источник

OO

Oleksandr Olgashko in Scala User Group
я пытаюсь идти от того, что

- для большинства классических алгоритмов кс надо мутабельность (и не всегда существуют сопоставимые по времени/памяти аналоги без них)

- для эффективной обработки некоторых вещей придется прибегать к мутабельности

- но это _иногда_ может оставить функцию "чистой", как если бы мутаций не было
источник

Oℕ

Oleg ℕizhnik in Scala User Group
"классических алгоритмов кс"
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Oleg ℕizhnik
Определения - это и def и lazy val и object и конструкторы классов.
В дотти это ещё и given .
На всё нужна эта аннотация и анализ
Плюс все типы функций
источник

AD

Apache DOG™ in Scala User Group
Oleksandr Olgashko
не столько "результат иммутабельный" (это иррелевантно целям), сколько "созданные внутри метода мутабельные вещи никак не экспозятся наружу"
Есть понятие сайд эффектов, что сайдэффект, а что нет - договариваются.
источник

AD

Apache DOG™ in Scala User Group
1+5 это тоже сайдэффектящая операция
источник

OO

Oleksandr Olgashko in Scala User Group
Apache DOG™
1+5 это тоже сайдэффектящая операция
угу, какие-то регистры могут быть изменены в процессе, но "это не видно" снаружи
источник

OO

Oleksandr Olgashko in Scala User Group
я примерно о таком
источник

EB

Eugene Bosiakov in Scala User Group
Обновился до последнего скала плагина и он сошел с ума ( сыпет эрорами на сорцы плея и все, что от них зависит. Кто-нибудь уже чинил?
источник

AS

Andrey Sugak in Scala User Group
Eugene Bosiakov
Обновился до последнего скала плагина и он сошел с ума ( сыпет эрорами на сорцы плея и все, что от них зависит. Кто-нибудь уже чинил?
Какая версия плагина?
источник

EB

Eugene Bosiakov in Scala User Group
Andrey Sugak
Какая версия плагина?
2020.2.23
источник

AS

Artem Seleznev in Scala User Group
Все привет!
Кто работал со Scala Play???

Возможно добавит / изменить строку в application.conf файле во время работы приложения, например из переменной (после выбора пользователя)?

Или только перед запуском все изменений возможны?
источник

EB

Eugene Bosiakov in Scala User Group
Artem Seleznev
Все привет!
Кто работал со Scala Play???

Возможно добавит / изменить строку в application.conf файле во время работы приложения, например из переменной (после выбора пользователя)?

Или только перед запуском все изменений возможны?
лучше сказать задачу, по описанию вы не в ту сторону воюете
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Artem Seleznev
Все привет!
Кто работал со Scala Play???

Возможно добавит / изменить строку в application.conf файле во время работы приложения, например из переменной (после выбора пользователя)?

Или только перед запуском все изменений возможны?
Какую строку?
источник

GP

Grigory Pomadchin in Scala User Group
Oleg ℕizhnik
Какую строку?
Я так понимаю переменные в рантайме эпликешнконфовые менять
источник

Oℕ

Oleg ℕizhnik in Scala User Group
ну вот и вопрос, какие
источник

SK

Sergey Kucherenko in Scala User Group
Eugene Bosiakov
Обновился до последнего скала плагина и он сошел с ума ( сыпет эрорами на сорцы плея и все, что от них зависит. Кто-нибудь уже чинил?
попробуйте выбрать вкладку sbt (обычно свернута справа) и там нажать кнопочку
источник

SK

Sergey Kucherenko in Scala User Group
источник