все равно на раст не перейду. На нем вакансий до сих пор  - раз, два  и обчелся ))

простой пример:

static int method(IntBinaryOperator op) throws ??? {
   return op.applyAsInt(5, 10);
}

Как тут описать "method бросает ровно те же исключения что и op"?

ну, если поддержки со стороны компилятора нет такой фичи, то просто скопировать эти типы исключений

Второй вопрос:

static int method(IntBinaryOperator op) throws ??? {
   try {
       return op.applyAsInt(5, 10);
   }
   catch (SomeException) {
       return 500;
   }
}

Как описать "бросает те же исключения что и op КРОМЕ исключения SomeException"?

м. Ну, ответ такой же😁

ну твой ответ "ну должна быть поддержка компилятора", По факту её нет

если бы была тогда был бы другой разговор. Но мы про Java14 а не про джаву страны эльфов

да я понимаю претензию. Тут размышляю об идеальном устройстве, как могло бы быть

П****ь - не мешки ворочать (с)

Давеча @tucnak рассказывал про тестовое задание на конкуррентность, которое даёт на собеседовании. Ну там… записать в 3 хранилища, закончить на 2 успешных записях, cancellation, retry, backoff, полный фаршмак.

Предлагаю, сударь, дуэль. @tucnak нам даёт внятное ТЗ, мы его выполняем. Я на Расте, Вы на Го. Как оба готовы - постим здесь ссылки. Хоть на плэйграунд, хоть на гист, хоть куда угодно. А все пацаны уже заценят оба кода, и выскажутся. Ну и ты сам заценишь.

ну первое в расте легко решается:

fn method<E>(f: impl Fn(i32, i32) -> Result<i32, E>) -> Result<i32, E>

pros & cons каждого подохода еррор хэндлинга

ну я не вижу минусов в том чтобы описывать ошибки в сигнатуре, ну вообще никаких. В худшем случае ты описываешь ошибку как "что угодно" - уже идет инфа что функция может обосраться и не всегда ответ возвращает. Так работает anyhow в расте.

Но чаще ты можешь указать что конкретно ломается

окей, спс

плюс у таких вещей сразу прозрачные результаты в виде "запустиле параллельно 100 задач и ждем" в случае если какая-то из них с ошибкой упадет

в сишарпе целый анал-карнавал с unverservable task exception'ами

стрёмный автор, но статья в тему

в шарпе нет проверяемых исключений, но макаки всё равно ими пользуются как проверяемыми

Может, еще через годик. Я и го не так давно начал юзать - до сих пор комплекс самозванца не преодолел. А у тебя стаж расто-педофилии, небось, еще с бета-версий. Матерый извращенец ))

Я и в Го погомосятить успел знатно)
К слову, задание не сложное.

Я запомню и вернусь, мне надо еще поднатореть в теории, чтоб было чем ответить на твою камасутру ))