H
это не абсурдити потому что квантор Е на D
какой E?
Size: a a a
2020 December 28
ΑZ
какой E?
\exists
EG
это не та сигнатура что выше если чо
Fn() -> T это и есть fn() -> TH
\exists
я не понял
ΑZ
Fn() -> T это и есть fn() -> Tа, ну так-то да
EG
В хаскелле absurd
В идрисе слово absurd значит что-то другое
В идрисе слово absurd значит что-то другое
ΑZ
я не понял
impl DependencyFabric<i32> for Foo {
fn make() -> i32 { 10 }
}H
можно же просто
fn make() -> i32 { make()}H
тогда не будем подбирать значения
i32ΑZ
можно же просто
fn make() -> i32 { make()}зачем ты пытаешься максимально извращенные реализации придумать?
EG
можно же просто
fn make() -> i32 { make()}Лучше
Зачем стак переполнять?
fn make() -> i32 { loop {} }Зачем стак переполнять?
ΑZ
я к тому что DependencyFabric можно реализовать
ΑZ
значит это не абсурд
ΑZ
потому что тип D конкретный
H
зачем ты пытаешься максимально извращенные реализации придумать?
ну эта реализация хорошо показывает что в нетотальном языке населена абсурдность
ΑZ
ну эта реализация хорошо показывает что в нетотальном языке населена абсурдность
нет,
CD
ну эта реализация хорошо показывает что в нетотальном языке населена абсурдность
плюсы смеются
CD
ну эта реализация хорошо показывает что в нетотальном языке населена абсурдность
бесконечный цикл без эффектов определенного типа UB
ΑZ
trait Foo<D> { fn foo() -> D }
и
trait Foo { fn foo<D>() -> D }
Принципиально разные вот и все
и
trait Foo { fn foo<D>() -> D }
Принципиально разные вот и все
ΑZ
@hirrolot не надо путать)