AZ
например, если хэш изменился, вопрос: кто и когда внес изменения, и какие?
Size: a a a
2020 March 23
AZ
Не. Я не умею в системы голосования, но беглым взглядом выглядит очевидно, что если мы не публикуем ФИО, то мы не можем удостовериться, что остальные голосующие настоящие люди.
бутерин на одной из конф говорил, что задача конкретно голосования на блокчейне с условиями анонимности - принципиально невозможна
AZ
поэтому анонимности нет, по крайней мере для администраторов
AZ
но т.к. голосуют по вопросам на которые всем насрать (кроме самих голосующих) то мотивации вмешиваться нет
AZ
другое дело про недавний проект голосвания в мерию на блокчейне
AZ
там мотивация уже будет)
В
Очень мощные оптимизации может дать.
Т.е. автоматическая или полу-автоматическая специализация кода под известные на этапе компиляции значения.
Что-то типа constexpr'ов только сильно более на стероидах и работающее практически с любым кодом.
Т.е. автоматическая или полу-автоматическая специализация кода под известные на этапе компиляции значения.
Что-то типа constexpr'ов только сильно более на стероидах и работающее практически с любым кодом.
В каком-то из релизов раста хвастались const propagination, это не оно?
AZ
В каком-то из релизов раста хвастались const propagination, это не оно?
нет, не совсем
DS
В каком-то из релизов раста хвастались const propagination, это не оно?
Да, но вопрос в том насколько сильно оно работает.
AZ
типичный пример, у тебя есть код:
fn pow(a: i32, b: i32) -> i32 {
let mut result = 1;
for _ in 0..b {
result *= a;
}
result
}
и ты делаешь:let number = read_line().parse()?;
let powerderNumber = pow(number, 5);AZ
растовый компилятор тут ничо не сделает, потому что a в рантайме только известно
DS
типичный пример, у тебя есть код:
fn pow(a: i32, b: i32) -> i32 {
let mut result = 1;
for _ in 0..b {
result *= a;
}
result
}
и ты делаешь:let number = read_line().parse()?;
let powerderNumber = pow(number, 5);Ну, кстати, этот пример он сейчас вроде оптимизирует как хочется, но опять-таки без гарантий.
AZ
AZ
но по идее если чутка усложнить то уже не сможет
В
Да, но вопрос в том насколько сильно оно работает.
Понятно
AZ
растовый компилятор тут ничо не сделает, потому что a в рантайме только известно
ну вот, а паршиал эвалюейшн гарантированно свернет тебе цикл
AZ
собсна из опеределения паршиал эвалюейшна у тебя есть программа P, которую можно представить как пару
(P_static, P_dynamic)AZ
тогда компилятор это функция
(P_static, P_dynamic) -> P_dynamicAZ
ну это типа хорошо, потому что не надо считать в рантайме то, что и так известно
DS
И полноценный partial evaluation мог бы кучу проблем решать просто за счёт своего наличия.
А-ля возможность бегать с динамическими трейтами, но с компилятором, которые динамические вызовы убирает, если есть достаточно информации об этом.
А-ля возможность бегать с динамическими трейтами, но с компилятором, которые динамические вызовы убирает, если есть достаточно информации об этом.