T1
Dollar Føølish
Я не знаю как в системном языке иначе кложуры сделать
?
Size: a a a
2020 June 24
p
Dollar Føølish
Он будет выглядеть как уникальный тип
+
T1
а раньше он не уникальный был разве
DF
Был и раньше
DS
Dollar Føølish
Он будет выглядеть как уникальный тип
Ок, тогда настолько же плохо как и в расте.
DF
А что как можно исправить?
T1
а зачем исправлять?
r
Собственно уникальные типы нужны, чтобы не расчитывать на оптимизатор, который заменит указатель на функцию непосредственным вызовом функции.
DF
Еражура типов требует аллокации
DS
Dollar Føølish
Я не знаю как в системном языке иначе кложуры сделать
Whole program optimization + дефункционализация полная
DF
Раздельная компиляция шлёт привет
T1
а чем эти кложуры не катят то лол
p
а чем эти кложуры не катят то лол
fn foo() -> impl Fn() -> i32 {
match true {
true => ||10,
false => ||20,
}
}
Этот код даст ошибку
match true {
true => ||10,
false => ||20,
}
}
Этот код даст ошибку
T1
ну да, выдаст, и?
T1
а ты как хотел
DF
Ну просто интересно слушать что с фп в расте все плохо но чтобы починить надо из него сделать язык для программ академиков не более 5к лок
DF
Доге опять в математику ушел короче
T1
fn foo() -> impl Fn() -> i32 {
match true {
true => ||10,
false => ||20,
}
}
Этот код даст ошибку
match true {
true => ||10,
false => ||20,
}
}
Этот код даст ошибку
хотя это конечно прокол раста как мне кажется, тут все можно же во время компиляции сделать лол
p
хотя это конечно прокол раста как мне кажется, тут все можно же во время компиляции сделать лол
Нет, нельзя
T1
хотя нет, язык тебе ничем не обязан