p
это сложнее чем констант фолдинг
2 + 3 это констант фолдинг, все правильно
+.optimize будет складывать все константные аргументы и оставлять остальные.Size: a a a
2020 April 17
EG
Таким образом, например,
EG
И да,
for.optimize может анролльнуть циклEG
*.optimize это просто произвольный макрос, который применяет оптимизации, специфичные для функцииAZ
2 + 3 это констант фолдинг, все правильно
или превратить
pow(x,5) в { let xx = x*x; xx*xx*x }А⚙
скала это хаскель для людей которые хотят в прод затащить что-то чуть более стабильное чем гхц, чтобы либы были и все такое
GHC так-то постабильнее компилятора Scala
AZ
где
fn pow(x: i32, y: i32) -> i32 {
let result = 1;
for _ in 0..y {
result *= x;
}
result
}EG
В сочетании с «паралелльным исполнением по дефолту» я хочу попробовать получить разумные результаты производительности. Собираюсь сравнивать с Perl, который очень хорошо оптимизирован для интерпретируемого языка.
p
или превратить
pow(x,5) в { let xx = x*x; xx*xx*x }это уже и не partial evaluation.
AZ
это уже и не partial evaluation.
это он и есть, почитай определение. Проекции футамуры и это всё
EG
В идеале программа, которая, например, считает первые 10000 символов числа пи, будет естественным образом полностью исполняться в компайл-тайме
EG
Потому что у неё нет входных данных => до рантайма ждать не нужно
p
это он и есть, почитай определение. Проекции футамуры и это всё
The partial evaluation that we will look at will do (more or less) the following optimizations:
constant folding
loop unrolling
function specialization and inlining
constant folding
loop unrolling
function specialization and inlining
EG
Это как раз function specialization and inlining
А⚙
blockReturn реально очень удобный. не надо городить всяких штук типа
let x = f().map_err(|..| ..)?;И как бы это выглядело в Kotlin?
RP
И как бы это выглядело в Kotlin?
почитай в доке.
DS
это уже и не partial evaluation.
Это он и есть
DS
Прям пример из палаты мер и весов
А⚙
"код должен быть самодокументированным", и прочая хуита от мастеров неподдерживаемого кода
VS
Хай бледнолицые. У меня для вас официальное заявление - у меня классное настроение потому что я классный. Всех с пятницей. Уиииииии 😁😁😁🍺