G
зачем
Size: a a a
2020 May 03
G
все равно говноязычки получаться
S
Зато весело
S
S
А может быть вообще изоретёте шестое поколение
G
у меня кстати была идея улучшенного раста с первоклассными вариантами, норм макросами, глистами вместо кортежей, абстрагированием через hlist/coprod в стд
G
А может быть вообще изоретёте шестое поколение
увы тот кто в этом челлендже будет учавствовать точно не изобретет
S
у меня кстати была идея улучшенного раста с первоклассными вариантами, норм макросами, глистами вместо кортежей, абстрагированием через hlist/coprod в стд
А зачем вообще могут быть нужны параметризованные гетерогенные коллекции? Можно узнать?
G
А зачем вообще могут быть нужны параметризованные гетерогенные коллекции? Можно узнать?
G
как пример
G
доги наверняка больше применений знает
p
у меня кстати была идея улучшенного раста с первоклассными вариантами, норм макросами, глистами вместо кортежей, абстрагированием через hlist/coprod в стд
так в идрисе и хаскеле тоже кортежи
G
А зачем вообще могут быть нужны параметризованные гетерогенные коллекции? Можно узнать?
еще бтв если хочешь вернуть сопроизведение двуместное как ошибку из функции
G
а новый тип лень делать т.к. он слишком незначительный
G
так в идрисе и хаскеле тоже кортежи
в идрисе я могу вкладывать двуместные кортежи и получать плоский
G
так например индукция делается на кортежах
G
ну и наоборот, да
p
в идрисе я могу вкладывать двуместные кортежи и получать плоский
то есть (Int, Int, Int) это сахар над Pair Int (Pair Int Int) ?
G
то есть (Int, Int, Int) это сахар над Pair Int (Pair Int Int) ?
вроде того
G
я до конца не разобрался с этим, но на индукции оно так себя ведет