SP
все там проще
Size: a a a
2021 March 05
SP
вот я и не понял твой пример ) к чему ты это
AN
Roman Blog
ну нахрена там one, я не смотрел, но скорее всего адепт пытался в типе выразить 1
то ты загнул 😂
D
Roman Blog
ну нахрена там one, я не смотрел, но скорее всего адепт пытался в типе выразить 1
Воо, пошло, зачем тебе сразу вешать ярлыки, это же ничего не решает и только во вред твоей миссионерской деятельности идёт?
SP
в расте такая тема. есть у тебя
fn yo(a: u32){
1/a
}
ты начинаешь это обобщатьfn yo<T>(a: T){
1/a
}
мы тут ничего не знаем про то что умеет T, поэтому пишемfn yo<T>(a: T) where T Div{
1/a
}
и надо как то выразить 1 в типе TНТ
Roman Blog
ну сколько будет сумма от 0 до 100
на этот вопрос уже дал ответ Гаусс
SP
а про пеано-упоротость я даже пока не читаю
KR
только определять 100 через 100 не очень умно вроде
Я там вообще в шутку написал, мол глупая автоматизация глупой простыни тучки)
А вы все такие сурьёзные)
Если быть сурьёзным тоже, то там нужно индукцию на трейтах написать. Важно, что бы для каждого Num был определён его cons
А вы все такие сурьёзные)
Если быть сурьёзным тоже, то там нужно индукцию на трейтах написать. Важно, что бы для каждого Num был определён его cons
RB
Dima
Воо, пошло, зачем тебе сразу вешать ярлыки, это же ничего не решает и только во вред твоей миссионерской деятельности идёт?
чего?
SP
Я там вообще в шутку написал, мол глупая автоматизация глупой простыни тучки)
А вы все такие сурьёзные)
Если быть сурьёзным тоже, то там нужно индукцию на трейтах написать. Важно, что бы для каждого Num был определён его cons
А вы все такие сурьёзные)
Если быть сурьёзным тоже, то там нужно индукцию на трейтах написать. Важно, что бы для каждого Num был определён его cons
и какой был бы интерфейс? т.е. пример юзания
SP
проблема же как я понимаю в том что все что захочет число - захочет число в том типе который хочет возвратить
SP
т.е. нельзя reduce 100 потому что там T
D
Roman Blog
чего?
"адепт", ты любишь употреблять это слово, оно имеет неприятный оттенок (по крайней мере в твоих устах) зачем тебе это делать?
KR
и какой был бы интерфейс? т.е. пример юзания
А какая вообще изначальная задача, ещё раз? Написать 1 + 100 для typenum?
RB
Dima
"адепт", ты любишь употреблять это слово, оно имеет неприятный оттенок (по крайней мере в твоих устах) зачем тебе это делать?
Как мне называть адепта? К тому же нет никакого оттенка. То, что я говорю о том, что у адептов есть какие-то неприятные свойства - они есть не у адептов. Назови я их как угодно - ничего не изменится. В самом же адепте ничего нет
SP
А какая вообще изначальная задача, ещё раз? Написать 1 + 100 для typenum?
для typenum как я понимаю совсем трудно. ну то что выше я описал. но да, это можно и грязно через from
SP
просто дженерик-математика
AN
А какая вообще изначальная задача, ещё раз? Написать 1 + 100 для typenum?
SP
есть One и Zero трейты. чувак сделал 2 из One
KR
для typenum как я понимаю совсем трудно. ну то что выше я описал. но да, это можно и грязно через from
Ну то есть у тебя каждое число новый тип, или что ты имеешь в виду под дженерик математикой? Я не совсем понимаю что именно тебе хочется лифтануть на уровень типов.