169 похожих чатов

А reflekt позволит мне глянуть параметры лямбды, которую передам в

Function?

17 ответов

9 просмотров

Сейчас нет

А о каких именно лямбдах речь? Я что-то так и не понял.

Iaroslav Postovalov
А о каких именно лямбдах речь? Я что-то так и не п...

У него там параметром передается функция произвольной арности. Я вообще не уверен, что это как-то можно проанализировать

Alexander Nozik
У него там параметром передается функция произволь...

Ну если мы допускаем только прямое применение лямбды, а не передачу всякой функции, то это 100% возможно.

Iaroslav Postovalov
Ну если мы допускаем только прямое применение лямб...

Ну если inline метод и мы знаем какая функция передается, как reified

Iaroslav Postovalov
Ну если мы допускаем только прямое применение лямб...

Как ты сейчас в текущем dsl это собирался доставать? 🤔

Ruslan Ibragimov
Ну если inline метод и мы знаем какая функция пере...

Ну даже и не-inline fun magic(f: Function<*>) magic { a: String, b: Int -> ... } Из подобного кода мы просто по месту вызова видим типы параметров. Но произвольную функцию тогда не передать. Разве что известный method reference еще.

Iaroslav Postovalov
Ну даже и не-inline fun magic(f: Function<*>) ma...

Видим - в плане компиляторный плагин видит.

Iaroslav Postovalov
Ну даже и не-inline fun magic(f: Function<*>) ma...

А как параметры узнать внутри magic?

Ruslan Ibragimov
А как параметры узнать внутри magic?

Внутри magic - если плагин подскажет как-нибудь.

Nail-Khanipov Автор вопроса

На каждую комбинацию параметров?

Nail Khanipov
На каждую комбинацию параметров?

Нет, конечно, просто заменить место вызова.

Nail Khanipov
На каждую комбинацию параметров?

Я вот что не понимаю: а зачем вам это? Почему пользователь не может сам где-то указать типы?

Iaroslav Postovalov
Ну или почему вам нужно больше n параметров?

Еще раз: Берем функцию, узнаем типы, находим нужные инстансы - вызываем Берем лямбду, узнаем типы, находим нужные инстансы, вызываем - падаем

Ruslan Ibragimov
Еще раз: Берем функцию, узнаем типы, находим нуж...

То есть это какое-то хитрое сопоставление двух функций?

Похожие вопросы

Обсуждают сегодня

подскажите пожалуйста, как мне освободить результат записанный в переменную result? в чем проблема подскажите если МОЖЕТЕ?
Михаил Helper
28
Скажите, тут нет проблемы? IMyInterface1 = interface function GetInterface2: IInterface2; ... function TMyInterface.GetInterface2: IInterface2; begin Result := TI...
Ruslan aka DUDE
18
есть тут кто-то , кто только начал изучать си? если проходите курс на степике или как-то сами изучаете, пишите, может, скооперируемся?..
Eule
25
возможно для форматирования TimeStampZ нужен другой механизм, не?
Роман Лях (rgreat)
13
Добрый день. Абракадабра в 12-й студии ввела новый тип поля БД TSQLTimeStampOffset, использую в постгресе timestampz и вот с 12-й версии начались чудеса! До этого поля times...
Delphi Photo
9
Коллеги, здравствуйте! А можно узнать ваше мнение относительно Wolfram Mathematica vs Julia? Просто у меня стоит выбор между тем, чтобы продолжить преподавать Wolfram Mathemat...
Илья Гаража
10
Обновленный chat тестили уже господа? Готовимся на заводы ? Простой проект на ларавель собирает за 1 ответ..
Jacov Borisov
14
Дык какой описанный сценарий то? Единственное, что вижу я - это то что есть какой то интерфейс1 , про который известно, что у него есть метод, который возвращает другой интерф...
Jack128
7
А если без шуток, на чем десктоп сейчас пишут кроссплатформенный (ну чтобы с минимальным допиливанием под каждую платформу) и чтобы хорошая производительность софта была. Толь...
🐈
9
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Карта сайта