Size: a a a

Scala User Group

2021 January 08

AG

Alexander Galagutski... in Scala User Group
ты можешь взять создать одного актора, создать пул с одним тредом и забиндить этого актора под этот диспетчер, в итоге у тебя всегда будет обработка сообщений актором на этом треде
источник

AG

Alexander Galagutski... in Scala User Group
по факту там можно указать сколько сообщений нужно обработать прежде чем передать работу другому актору
источник
2021 January 11

AS

Alex Sh in Scala User Group
Народ, подскажите, есть ли какие-нть флаги для компилятора, чтобы
  val checkExhaustivenessCheck: String => Int = {
   case "1" => 1
   case "2" => 2
 }
падал c non-exhaustive check ?
в 2.13.4
источник

VK

Vladyslav Kopaniev in Scala User Group
Alex Sh
Народ, подскажите, есть ли какие-нть флаги для компилятора, чтобы
  val checkExhaustivenessCheck: String => Int = {
   case "1" => 1
   case "2" => 2
 }
падал c non-exhaustive check ?
в 2.13.4
а разве компайлер может проверить перечислил ли ты все стринги?
источник

AS

Alex Sh in Scala User Group
Vladyslav Kopaniev
а разве компайлер может проверить перечислил ли ты все стринги?
Ну как раз я хочу, чтобы он падал в таком случае. Пока чот не падает 😅
P.S. у меня там нет case _ => ...
источник

VK

Vladyslav Kopaniev in Scala User Group
Alex Sh
Ну как раз я хочу, чтобы он падал в таком случае. Пока чот не падает 😅
P.S. у меня там нет case _ => ...
это видно, но чтобы компилятор выдал тебе ошибку в таком случае ему надо убедиться, что ты не все стринги перечислил в кейсах, а для этого ему бы пришлось проверять на бесконечном множестве значений, все ли они у тебя есть?
источник

V

Vasiliy in Scala User Group
не бесконечное ведь, всего лишь Integer.MAX_VALUE символов
источник

VK

Vladyslav Kopaniev in Scala User Group
может для стринг есть какая-то спешл проверка, не знаю
источник

VK

Vladyslav Kopaniev in Scala User Group
Vasiliy
не бесконечное ведь, всего лишь Integer.MAX_VALUE символов
ну комбинаций символов получается из этих Integer.MAX_VALUE символов слишком много)
источник

V

Vasiliy in Scala User Group
Vladyslav Kopaniev
ну комбинаций символов получается из этих Integer.MAX_VALUE символов слишком много)
многовато, но не бесконечно)
источник

Oℕ

Oleg ℕizhnik in Scala User Group
да, в конпиляторе есть специальные виды матматов, которые в принципе отключают экзостивнесс
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Возможно, константная стринга - один из них, было бы логично
источник

ΑZ

Αλεχ Zhukovsky in Scala User Group
Vladyslav Kopaniev
а разве компайлер может проверить перечислил ли ты все стринги?
а разве нет?
источник

E

Elijah in Scala User Group
Alex Sh
Народ, подскажите, есть ли какие-нть флаги для компилятора, чтобы
  val checkExhaustivenessCheck: String => Int = {
   case "1" => 1
   case "2" => 2
 }
падал c non-exhaustive check ?
в 2.13.4
сделать адт с обертками над стрингами и по нему матчится?
источник

ΑZ

Αλεχ Zhukovsky in Scala User Group
Vladyslav Kopaniev
это видно, но чтобы компилятор выдал тебе ошибку в таком случае ему надо убедиться, что ты не все стринги перечислил в кейсах, а для этого ему бы пришлось проверять на бесконечном множестве значений, все ли они у тебя есть?
для бесконечного набора достаточно требовать обязательного _ в конце
источник

E

Elijah in Scala User Group
Elijah
сделать адт с обертками над стрингами и по нему матчится?
не флаг, конечно, но я другого решения не знаю
источник

ΑZ

Αλεχ Zhukovsky in Scala User Group
Vladyslav Kopaniev
это видно, но чтобы компилятор выдал тебе ошибку в таком случае ему надо убедиться, что ты не все стринги перечислил в кейсах, а для этого ему бы пришлось проверять на бесконечном множестве значений, все ли они у тебя есть?
Тут же как-то работает
источник

VK

Vladyslav Kopaniev in Scala User Group
Αλεχ Zhukovsky
для бесконечного набора достаточно требовать обязательного _ в конце
по хорошему для любого не ADT типа требовать
источник

V

Vasiliy in Scala User Group
Oleg ℕizhnik
Возможно, константная стринга - один из них, было бы логично
кста, было бы логично для константных стрингов бросить non-exhaustive, когда нет case _, как в русте пример выше скинули
источник

AS

Alex Sh in Scala User Group
Elijah
сделать адт с обертками над стрингами и по нему матчится?
Мне нужно запретить pattern-matching по строкам без case default => ...
источник