B
так все, завтипы в расте?
Size: a a a
2021 May 26
TK
Но это не то
ΑZ
а давай теперь усложним задачу:
zip : Vect n a -> Vect n b -> Vect n (a, b)
Как в расте будет?AN
ну один ингредиент все равно мне кажется я правильно понял. что нужен уникальный тип для рантайм значения.
П
Хочется круче жеж)
ΑZ
ну есть такое, поэтому подобие завтипов в хачкеле нгазывалось синглтоны :)
ΑZ
typenum это некое подобие этого, но только для чисел
B
так, тоесть тут подходит жопа, тк надо конст женерик
B
@Psilon мне интересно похоже ли это на то, о чем вы говорите
AN
zip<N: Unsigned, MyVec<N, A>, MyVec<N, B> > (...)
TK
Нагенерить 100500 уникальных типов, возможно с помощью typenum, и как-то попытаться реализовать это уродство.
Которое будет конечным.
Которое будет конечным.
B
rонст-женерик
ΑZ
ну это типа завтипов на минималках, да
AN
только пиздец кодогену.
B
кста typenum таки бесконечный
B
только лимит рекурсии в 256
AN
точноее Unsigned не нужен. Нужен просто токен любой.
ΑZ
Что насчет
foo : (s1: String) -> (s2: String) -> (s1 = s2) -> String?
B
а, так заенкодить стринг в тайпнум, уже проходили
AN
ну все верно. У тебя String это не просто String. А какой то String который родился в конкретном месте програмы.