(L
Иногда было бы полезно явно указать то, что замыкается в замыкании
Замыкай в блоке над замыканием
Size: a a a
2020 August 10
Ct
Притом, что чтобы доказывать факты о программах тебе нужны модели вычислимости.
Тут стоит заметить что среднему программисту не нужно "доказывать факты о программах", по крайней мере формально.
p
Да, поэтому я хочу ОПЦИОНАЛЬНЫЙ, но удобный и краткий синтаксис для этого
то есть лишний сахарок. тебе вдруг GAT и impl trait'ы перестали быть нужны?
p
Притом, что чтобы доказывать факты о программах тебе нужны модели вычислимости.
зачем это формошлепу или спринговику?
(L
let _ = {
let /* captures */
|| {
/* body */
}
}
let /* captures */
|| {
/* body */
}
}
SP
@DogeShibu а можно определение типа согласно теории типов? мне интересно насколько оно вообще оторвано от реального мира. я просто не могу найти
DS
то есть лишний сахарок. тебе вдруг GAT и impl trait'ы перестали быть нужны?
Не, он не настолько критичен, но могли бы об этом и подумать изначально
p
let _ = {
let /* captures */
|| {
/* body */
}
}
let /* captures */
|| {
/* body */
}
}
если бы можно было писать
let foo = 10,то было бы норм
bar = 20,
baz = "sfdfa";
M
Вот поэтому я предпочитаю быть токсичным ублюдком
(L
зачем это формошлепу или спринговику?
Затем чтобы апи его фреймворка меньше стреляло по ногам, например.
M
Обшаться с кем то серьезно почти не реально проще порейджить
p
@DogeShibu а можно определение типа согласно теории типов? мне интересно насколько оно вообще оторвано от реального мира. я просто не могу найти
мнодество значений🤪
DF
Затем чтобы апи его фреймворка меньше стреляло по ногам, например.
++ здравая мысль
p
Затем чтобы апи его фреймворка меньше стреляло по ногам, например.
не вижу связи
p
думаю что мало кто вообще задумывался о моделях вычисления
N
дохтор
(L
если бы можно было писать
let foo = 10,то было бы норм
bar = 20,
baz = "sfdfa";
1. Зачем? В чем принципиальное различие?
2) let (foo, bar, baz) = (10, 20, "sfdfa");
2) let (foo, bar, baz) = (10, 20, "sfdfa");
N
есть работа для новичков, дохтор?
(L
не вижу связи
Сочувствую.
N