SP
лучше
Size: a a a
2020 December 29
SP
посмотри
SP
не пожалеешь
p
А, это российский военный
p
Ну поебать тем более
p
Зачем слушать тотальную промывку мозгов
SP
ты не понимаешь
ΑZ
fn interpret<A: AlgLit>() -> <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>>::AddRet>>::AddRet
where A: AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>,
A: AlgAdd<<A as AlgLit>::LitRet, <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>>::AddRet>{
A::add(A::lit(23), A::add(A::lit(1), A::lit(1)))
}DS
Это для тех, кто не хочет боксить футуры. Но тут теряется переиспользование системы типов языка хоста, поэтому это не совсем нужный вариант.
p
fn interpret<A: AlgLit>() -> <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>>::AddRet>>::AddRet
where A: AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>,
A: AlgAdd<<A as AlgLit>::LitRet, <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>>::AddRet>{
A::add(A::lit(23), A::add(A::lit(1), A::lit(1)))
}Во, это теперь больше похоже на настоящий Раст!
H
fn interpret<A: AlgLit>() -> <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>>::AddRet>>::AddRet
where A: AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>,
A: AlgAdd<<A as AlgLit>::LitRet, <A as AlgAdd<<A as AlgLit>::LitRet, <A as AlgLit>::LitRet>>::AddRet>{
A::add(A::lit(23), A::add(A::lit(1), A::lit(1)))
}похоже на скалу
DS
похоже на скалу
В скале нет таких сигнатур из ада
DS
И это ещё не совсем корректный пример, на самом деле.
H
распидарасил clang своими макросами
CD
пиши репорт)
T1
пиши репорт)
зачем
H
пиши репорт)
они обидятся на меня
H
сгенерированный репорт 72'536 LoC
CD
а кому сейчас легко :)