Anonymous
! не включает u32
Anonymous
u32 включает !
Vladimir
это то что ты описал, не может быть получен ! из любого типа
Anonymous
почитайте https://en.wikipedia.org/wiki/Bottom_type
Anonymous
тип это сет
Vladimir
и как это относится к лет матчингу?
Anonymous
всех возможных значений
Anonymous
корректнее говорить что bottom это subtype но у раста нет таких возможностей
Vladimir
ну допустим Боттом тайп это субтайп
Vladimir
к чему ты это
Anonymous
let () =();
Anonymous
а если сет не бинарный то не работает
Vladimir
это унарный сет
Vladimir
если на то пошло
Anonymous
как унарный
Vladimir
только одно значение ()
Anonymous
или значение типа !
Vladimir
несуществующее значение считать за значение?
Anonymous
что означает отсутствие передачи контроля
Vladimir
тогда таких значений бесконечное множество
Anonymous
нет
Vladimir
под чем ты
Anonymous
и еще https://en.wikibooks.org/wiki/Haskell/Denotational_semantics
Loo
атопчег
Loo
плагин компилятора надо написать на такую хуйню
Loo
защита так защита
Маjко
защита так защита
http://play.integer32.com/?gist=83f8ecc82c64d894a7e6e23d408e1b53&version=stable
Loo
тем более
Loo
кстати
Loo
когда я первый раз запустил твой сниппет
Anonymous
предположу что в clang тоже скажет
Loo
карго в оутпат выкинул
Loo
no space left on device
Loo
лал
Loo
https://files.gitter.im/ruRust/gamedev/kwQs/image.png
Loo
слишком много треугольников
Loo
иллюминаты?
Anonymous
https://en.wikipedia.org/wiki/Triangle_mesh
Anonymous
ребят, а что вот не так с этой функцией?
fn start_ipfs_daemon(pause: time::Duration) -> bool {
let mut started = false;
thread::spawn(move || {
println!("Running IPFS...");
started = match Command::new("ipfs").arg("daemon").status() {
Ok(_) => true,
_ => false
};
println!("IPFS status: {:?}", started);
});
if started {
thread::sleep(pause);
return true
}
false
}
суть в том, что я её потом использую в if конструкции и она банально не успевает выполнится как будто..
պլհկ
будет всегда фолс
Loo
хыхы
Маjко
ребят, а что вот не так с этой функцией?
fn start_ipfs_daemon(pause: time::Duration) -> bool {
let mut started = false;
thread::spawn(move || {
println!("Running IPFS...");
started = match Command::new("ipfs").arg("daemon").status() {
Ok(_) => true,
_ => false
};
println!("IPFS status: {:?}", started);
});
if started {
thread::sleep(pause);
return true
}
false
}
суть в том, что я её потом использую в if конструкции и она банально не успевает выполнится как будто..
Ты копируешь started в замыкание, это 2 разные переменные после move ||
Маjко
Юзай AtomicBool
Маjко
ребят, а что вот не так с этой функцией?
fn start_ipfs_daemon(pause: time::Duration) -> bool {
let mut started = false;
thread::spawn(move || {
println!("Running IPFS...");
started = match Command::new("ipfs").arg("daemon").status() {
Ok(_) => true,
_ => false
};
println!("IPFS status: {:?}", started);
});
if started {
thread::sleep(pause);
return true
}
false
}
суть в том, что я её потом использую в if конструкции и она банально не успевает выполнится как будто..
http://play.integer32.com/?gist=63b1ebfae382f213d96579a3923d3c79&version=stable
Loo
бля
Loo
где вопрос
Loo
зачем удалил
Loo
https://ru.wikipedia.org/wiki/Cogito_ergo_sum
Loo
я ссылку нашёл
Loo
а вот на счёт тебя не уверен
Loo
да и вас всех
Loo
возможно это просто мой больной разум всё придумал
Loo
и вас нет
Anonymous
http://play.integer32.com/?gist=63b1ebfae382f213d96579a3923d3c79&version=stable
добра тебе, человек ❤️
Loo
солипсизм ведь это да
Loo
хз не помню
Маjко
:D
Anonymous
Anonymous
очень неочивидное поведение получилось..
Anonymous
https://play.rust-lang.org/?gist=7f0f7dfabbdbd86735f2f955d195ce51&version=stable
Маjко
Ну нет гарантии что что-то запишется в атомик раньше, чем ты его проверишь ифом
Anonymous
Ну нет гарантии что что-то запишется в атомик раньше, чем ты его проверишь ифом
так сейчас получается, что thread.spawn(...); вызвался позже идущего за ним if'а..
պլհկ
Это норма
Маjко
так сейчас получается, что thread.spawn(...); вызвался позже идущего за ним if'а..
https://play.rust-lang.org/?gist=1576a9e953f4a9eb7badf021999b1b29&version=stable
Alex
պլհկ
Юзай канал
Маjко
Но лучше канал
Маjко
Да
Маjко
Чет я сразу о нем не подумал ;/