p
Size: a a a
2020 August 29
Т8
Скриптуху здесь нельзя
A
Блин, а прикольная штука open union, вот бы в раст такое.
X
Т-34 85
Скриптуху здесь нельзя
А вдруг это просто змея
NL
Блин, а прикольная штука open union, вот бы в раст такое.
Она есть, только называется "типаж".
A
Она есть, только называется "типаж".
А можно развернуть мысль?
A
Я под open union подразумеваю следущее https://pastebin.com/1UZddvrJ
NL
Я под open union подразумеваю следущее https://pastebin.com/1UZddvrJ
Да, это понятно. Но эта тема связана с expression problem, и тип данных можно расширять различными способами. В Rust ты можешь определить типаж, и экземпляры типажа и будут входить как бы в этот open union.
Я полагаю, в Хаскеле под капотом эти open union-ы реализованы как тайпкласс, просто с удобным сахаром.
Я полагаю, в Хаскеле под капотом эти open union-ы реализованы как тайпкласс, просто с удобным сахаром.
Т8
А вдруг это просто змея
X
Упал под стол
NL
Я под open union подразумеваю следущее https://pastebin.com/1UZddvrJ
Хотя честно говоря вот это я не знаю как закодировать в Rust:
OpenUnion '[Error1, Error2, Error3]
OpenUnion '[Error1, Error2, Error3]
DS
Хотя честно говоря вот это я не знаю как закодировать в Rust:
OpenUnion '[Error1, Error2, Error3]
OpenUnion '[Error1, Error2, Error3]
Это как OpenUnion<Hlist![Error1, Error2, Error3]>
NL
Это как OpenUnion<Hlist![Error1, Error2, Error3]>
О, точно, спасибо!
p
Хотя честно говоря вот это я не знаю как закодировать в Rust:
OpenUnion '[Error1, Error2, Error3]
OpenUnion '[Error1, Error2, Error3]
Coprod![Error1, Error2, Error3] вроде так
p
@hirrolot правильно же?
p
А, опен юнион
p
Ну опен юнионы в расте через dyn да
CD
Да, это понятно. Но эта тема связана с expression problem, и тип данных можно расширять различными способами. В Rust ты можешь определить типаж, и экземпляры типажа и будут входить как бы в этот open union.
Я полагаю, в Хаскеле под капотом эти open union-ы реализованы как тайпкласс, просто с удобным сахаром.
Я полагаю, в Хаскеле под капотом эти open union-ы реализованы как тайпкласс, просто с удобным сахаром.
Я все еще протестую, что expression problem не существует, среди "расширять разными способами" только один правильный
YS
На расте написали