DS
HCons<("a", PolymorphicAdder), HCons<("b", Fn() -> "co"), HNil>>Если бы в расте были литеральные типы
Ну и инстанс для мапо подобных методов сверху
Если бы в расте были литеральные типы
Size: a a a
2020 August 03
Если бы в расте были литеральные типы
p
HCons<("a", PolymorphicAdder), HCons<("b", Fn() -> "co"), HNil>>Если бы в расте были литеральные типы
На неопределенное количество функций с неопределенным количеством аргументов?
p
FooType : String -> Type
FooType "a" = Int -> Int
FooType "b" = String
FooType _ = Void
foo : Map k (FooType k)
foo = ...Это и к тебе относится
p
FooType : String -> Type
FooType "a" = Int -> Int
FooType "b" = String
FooType _ = Void
foo : Map k (FooType k)
foo = ...И да, тут у тебя ошибка компиляции тому что в одной мапе может находиться только один тип, а не несколько
DS
На неопределенное количество функций с неопределенным количеством аргументов?
Так call у тебя по другому будет выглядить, тебе придется там матчится по пришедшему вызову функции и правильно разбирать пришедшие аргументы.
DS
В этом-то и суть статической типизации, тебе придется доказать компилятору, что вызовы функций из гетерогенной мапы будут корректными
p
Так call у тебя по другому будет выглядить, тебе придется там матчится по пришедшему вызову функции и правильно разбирать пришедшие аргументы.
Дык мне нужно то что я тебе сказал
p
Выразишь это?
p
Чтобы я мог в рантайме добавлять функции, и вызывать их так
С
Выразишь это?
"Сам топи урановые ломы во ртути"
p
"Сам топи урановые ломы во ртути"
Вот только мне это реально нужно
DS
Чтобы я мог в рантайме добавлять функции, и вызывать их так
Про рантайм в исходном коде ничего не было
DS
Вот только мне это реально нужно
Тебе это не нужно, любую higher order программу можно свести к first order
DS
Дефункционализация и погнали
DS
Никаких лямбд
p
Тебе это не нужно, любую higher order программу можно свести к first order
Ну сделай мне это для раста с условием что там функций 50
H
@f0land зачем тебе кванторы всеобщности понадобились кстати?
p
Даже без рантайма
AK
Да. C++ - это не просто язык. C++ - это традиция. Десятилетиями посвященные передают друг другу сакральное знание о нём из уст в уста, и отпугивают профанов неопределенным поведением и неявностями, чтобы недопустить недостойных к истине.
С
Ну сделай мне это для раста с условием что там функций 50
Пиши уж всю задачу целиком.