IO
у меня CommandContext - это вообще структура для парсинга
Size: a a a
2020 June 21
ПФ
вообще не понимаю, о чем вы
ну тип там в разных блоках разный this
IO
а, да
AN
Долго объяснять. Суть в том, что есть некоторый кусок кода с ресивером. Мы его компилим. А потом динамически подменяем ресивер и реинтепретируем код, что-то такое
AN
ну тип там в разных блоках разный this
это фиг с ним.
ПФ
Долго объяснять. Суть в том, что есть некоторый кусок кода с ресивером. Мы его компилим. А потом динамически подменяем ресивер и реинтепретируем код, что-то такое
ты хочешь сказать мы так можем?
AN
ты хочешь сказать мы так можем?
Почти.
ПФ
но как?
AN
В jupyter это уже можно, там просто ресивер подменяется при выполнении ячейки. В Kmath это делается на этапе типов. Сейчас найду пример
IO
в общем, я тут жестко жертвую типобезопасностью в пользу выразительности. т.е. мне нужна лямбда, которая принимает вообще что угодно. а что она применяет - определяется аннотацией, которая передает классы, которые генерируют объекты, которая эта лямбда принимает, из строчки.
IO
в общем, я тут жестко жертвую типобезопасностью в пользу выразительности. т.е. мне нужна лямбда, которая принимает вообще что угодно. а что она применяет - определяется аннотацией, которая передает классы, которые генерируют объекты, которая эта лямбда принимает, из строчки.
если бы можно было вешать аннотации на параметр лямбды, то было бы вообще хорошо
IO
в общем, я тут жестко жертвую типобезопасностью в пользу выразительности. т.е. мне нужна лямбда, которая принимает вообще что угодно. а что она применяет - определяется аннотацией, которая передает классы, которые генерируют объекты, которая эта лямбда принимает, из строчки.
по сути, если бы я писал подобное апи на джаве, то у меня был бы класс, в котором есть метод, принимающий произвольные параметры, на который навешана аннотация.
AN
Вот тут: https://github.com/mipt-npm/kmath/blob/24828e7a267c279d19e3e06912d7ad1bb0f8fa2e/kmath-core/src/commonTest/kotlin/scientifik/kmath/expressions/ExpressionFieldTest.kt#L45-L51. Там получается немного громоздко, но контекст задается после самого выражения
AN
в общем, я тут жестко жертвую типобезопасностью в пользу выразительности. т.е. мне нужна лямбда, которая принимает вообще что угодно. а что она применяет - определяется аннотацией, которая передает классы, которые генерируют объекты, которая эта лямбда принимает, из строчки.
Вопрос в том, насколько арность известна заранее
AN
если бы можно было вешать аннотации на параметр лямбды, то было бы вообще хорошо
А разве нельзя?
IO
А разве нельзя?
Retention=RUNTIME нельзя сделать
IO
а если вешать на лямбду, то оно вешается на импл invoke
AN
А почему не сделать типо-параметром,
AN
А почему не сделать типо-параметром,
Как это сделано в размерах матриц
IO
Вопрос в том, насколько арность известна заранее
по логике действительно можно сгенерировать 23 метода, в которых напрямую сводить это в FunctionN