какой Thread

ну блокирующая таска исполняется в каком-то треде. Надо его убить и добавить в пул рантайма друго тред ему на замену

вот вы послали сообщение в актор и ждёте из него, как вы найдёте нить, которую нужно убить?

ну это эквивалетно тому, что просто нужно везде всегда писать interruptible, а непрерываемый просто запретитт

Тогда смогу написать для вас такую функцию

Автор блокирующего кода сам решает, прерываемый он или нет. Но почему бы пользователю этого кода не решать, хочет ли он прервать непрерываемый код на свой страх и риск

я всё равно не понимаю, как вы напишете такую функцию, если она уже запущена в тредпуле, который не работает с прерываниями

ну может быть и можно переписать котоэффекты, чтобы так работало

Если тред заблокирован, то нельзя его интерапнуть

смешно

Новые подсветки в идее не перестают удивлять

Насколько я продлил тебе жизнь ?)

know

Не понял, что подсветилось?)

Больше меньше равно, то бишь входит ли граница в список

привет, подскажите по методам с тайп-параметром
необходимо написать метод func который на вход будет принимать аргумент типа А, который наследует от В и для него ещё должен быть форматтер Format[A] (тоже на вход метода подаётся, во втором списке аргументов) , а на выходе метода допустим строка

def func[A: Format <: В](arg: A): String

так проканает?
знаю что отдельно def func[A <: В](arg: A): String и def func[A: Format](arg: A): String сработает. а если и то, и то нужно?

Местами поменять и норм

А <: Б : Формат

Формат тут уже имплиситно прокинулся