p
типо Д - подмножество произведения слева, но не поясняется чем это множество является
Size: a a a
2020 March 23
r
Д(омен) фукции наверно. Оно же - область определения функции
p
спасибо
СД
адт и паттерн матчинг просто удобные вещи, в расте вон они есть безо всякого фп
осилил вторую статью, написано нормально, в начале с функтором было сложно, но итог в конце помог. и да, хорошо что без этих стремных операторов из хаскеля, которые в первом комменте посоветовали использовать
СД
адт и паттерн матчинг просто удобные вещи, в расте вон они есть безо всякого фп
я кстати про функтор пока читал у меня в голове ассоциация прошла на примере переупаковок чего-либо по характерным свойствам, странно наверное, но мне просто интересно, насколько это правильная ассоциация. Например есть много инстансов какого-то класса (пусть инстансы гриба лисички) их можно упаковать в список/корзину/пакет/коробку по какому-то единому признаку, пусть по размеру шляпки. А можно упаковать в пакет по размеру ножки, а еще можно упаковать в пакет по изгибу ножки. Выходит три характеристических свойства: размер шляпки, размер ножки, изгиб ножки. Сами по себе лисички - не функтор, но если для них придумать функцию которая из пакета лисичек упакованных по размеру шляпки перепакует их в пакет лисичек по изгибу ножки, то класс лисичек станет функтором. Меня волнует одно: обязательно ли иметь какое-то характереное свойство, так чтобы например при переупаковке из размера шляпки в изгиб ножки я мог сделать обратное преобразование из изгиба ножки снова в размер шляпки? Например я могу промапить список лисичек вообще во что-то невообразимое, но верно ли то, что мап должен быть двусторонний, чтобы из непонятно чего вереуться вновь в исходное состояние?
Т8
@DogeShibu @oleganza @uuttff8 в продолжение темы про гуй без наследования. Ну, хорошо, не шибко удобно, но можно клепать виджеты. А как быть с полиморфизмом подтипов? Вот как сделать иерахию с неявным апкастом? Хотя бы трейт может имплементировать другой трейт?
OA
хуяк, американский рубль уже по 80?
Т8
хуяк, американский рубль уже по 80?
вы же хотели стабильность и не хотели как во Франции? - Вот стабильное падение.
OA
во франции нотрдам сожгли филистиняне, а у нас православная духовность
OA
рекомендую наебать население до 100 р за нефтебакс и зафиксировать курс в конститудзии, чтоб удобно было цены считать
Т8
рекомендую наебать население до 100 р за нефтебакс и зафиксировать курс в конститудзии, чтоб удобно было цены считать
и в конституции запретить менять конституцию и вносить правки?
OA
Т-34 85
и в конституции запретить менять конституцию и вносить правки?
такая фича только в биткоине
а
Т-34 85
@DogeShibu @oleganza @uuttff8 в продолжение темы про гуй без наследования. Ну, хорошо, не шибко удобно, но можно клепать виджеты. А как быть с полиморфизмом подтипов? Вот как сделать иерахию с неявным апкастом? Хотя бы трейт может имплементировать другой трейт?
может
Т8
может
а как это выглядит, скажем, для иерархии из 2 потомков?
gen3 : gen2 : gen 1
gen3 : gen2 : gen 1
а
Т-34 85
а как это выглядит, скажем, для иерархии из 2 потомков?
gen3 : gen2 : gen 1
gen3 : gen2 : gen 1
всмысле как выглядит
S
Т-34 85
а как это выглядит, скажем, для иерархии из 2 потомков?
gen3 : gen2 : gen 1
gen3 : gen2 : gen 1
impl gen1 for gen2{}
impl gen2 for gen3{}
impl gen2 for gen3{}
а
Синтаксис в растбуке есть
S
можно трейты для трейтов имплементировать, постельная реализация (blanket implementation) называется
Т8
impl gen1 for gen2{}
impl gen2 for gen3{}
impl gen2 for gen3{}
и для этого полиморфизм работает?
а
impl gen1 for gen2{}
impl gen2 for gen3{}
impl gen2 for gen3{}
trait A {
fn a();
}trait B: A {
fn a();
}impl B for MyType {
fn a() {}
fn b() {}
}