EG
trait TypeLevelFunction<Arg1, Arg2, Arg3> {
type ReturnType;
}Size: a a a
2020 August 25
SP
не, смотри. ты берешь уже существующий обьект, и по нему рефлексишь тип
EG
А, ну это извините
EG
Хотя
SP
но в целом я понял идею да
SP
надо попробовать чтото придумать на расте
H
не, смотри. ты берешь уже существующий обьект, и по нему рефлексишь тип
Блин, ну poica же
SP
Блин, ну poica же
вот ты шутишь шутишь а я разведусь и таки заценю и боюсь что мне понравится лол
H
вот ты шутишь шутишь а я разведусь и таки заценю и боюсь что мне понравится лол
Бойся
H
))
H
А ещё. В poica есть GADTs
H
H
Для этого пришлось реализовать ассоциативную таблицу на макросах: https://github.com/Hirrolot/poica/tree/master/include/poica/lang/private/map
SP
ты можешь устроиться сишником куда то и переписать все на поечке
SP
охуенно было бы
H
Для этого пришлось реализовать ассоциативную таблицу на макросах: https://github.com/Hirrolot/poica/tree/master/include/poica/lang/private/map
@emmanuelGoldstein, прикольно, да?
SP
прикольно но мало что понятно )
H
Ассоциативная таблица на copy-paste по сути
H
Сишные макросы даже слабее регулярных языков, потому что не могут генерировать предложения сколь угодно большой длины
SP
но в цирке не выступают