H
Пиши уж всю задачу целиком.
+
Size: a a a
2020 August 03
p
@f0land зачем тебе кванторы всеобщности понадобились кстати?
Не помню уже, когда-то нужны были
H
мне квантор всеобщности для лайфтаймов понадобился 1-2 раза только
H
хртб
H
и то я не совсем догоняю почему без него не компилировалось
p
Пиши уж всю задачу целиком.
Коллекция в которой хранится много (условимся на 50) функций с разными типами и количеством аргументов, и нужно чтобы можно было вызвать функцию по имени и передать ей аргументы
С
Коллекция в которой хранится много (условимся на 50) функций с разными типами и количеством аргументов, и нужно чтобы можно было вызвать функцию по имени и передать ей аргументы
А имя становится известно в рантайме?
DS
Коллекция в которой хранится много (условимся на 50) функций с разными типами и количеством аргументов, и нужно чтобы можно было вызвать функцию по имени и передать ей аргументы
Хмм.. это называется методы
С
Вообще каким-то энтерпрайзом отдаёт.
DS
Коллекция в которой хранится много (условимся на 50) функций с разными типами и количеством аргументов, и нужно чтобы можно было вызвать функцию по имени и передать ей аргументы
Ну а так, ты хочешь по сути рефлексию по какому-то набору методов.
DS
А если ты хочешь рефлексию, то иди ка ты переосмысли свою программу и архитектуру.
V
>я хочу это
>нет не хочешь иди передумывай
>нет не хочешь иди передумывай
DS
Vetro
>я хочу это
>нет не хочешь иди передумывай
>нет не хочешь иди передумывай
Да.
V
ладно
V
С
Vetro
>я хочу это
>нет не хочешь иди передумывай
>нет не хочешь иди передумывай
Мне больше интересно, на каком месте у него планируется выдача ошибок. Вот откуда берётся имя функции, которую надо вызвать? Если из пользовательского ввода, то типы тут как-то гм.
DS
Vetro
>я хочу это
>нет не хочешь иди передумывай
>нет не хочешь иди передумывай
Ну человек по сути хочет методы. Т.е. если мы ему статически типизируем эту хрень, то это получатся обычные методы.
DS
А если он хочет вызывать в рантайме по заранее неизвестному имени - то это уже рефлексия.
AZ
И да, тут у тебя ошибка компиляции тому что в одной мапе может находиться только один тип, а не несколько
data HeterogenMap : Type -> (keytoVal : keyType -> Type) -> Type
FooType : String -> Type
FooType "a" = Int -> Int
FooType "b" = String
FooType _ = Void
foo : HeterogenMap k FooType
AZ
На неопределенное количество функций с неопределенным количеством аргументов?
если ты хочешь эвал то я не считаю его отсутствие минусом статических языков