AZ
Size: a a a
2020 February 12
𝙰𝙸
Ну вы почти правы.
𝙰𝙸
Но тотальное определение на Rust всё же можно и нужно дать по условию задачи.
P🐈
https://www.geeksforgeeks.org/middle-of-three-using-minimum-comparisons/ вот канонисческое решение, можешь посчитать сколько раз обращение к a b c происходит. Каждое такое обращение по сути и есть "обход"
задача со звездочкой: сделать это без cmp-инструкций
AZ
Но тотальное определение на Rust всё же можно и нужно дать по условию задачи.
получается раст нарушает законы логики?)
λ
его не существует
не понял
λ
решение же простейшее
λ
match a {}
λ
или вы не об этом?
𝙰𝙸
получается раст нарушает законы логики?)
Ну почему же. Ex falsum quodlibet. Чем не закон логики? Подтверждает наоборот)
𝙰𝙸
match a {}
Вот и ответ!
AZ
Вот и ответ!
Но это боттом
λ
где
AZ
Матч под empty
λ
нет, это не боттом
EG
Вот и ответ!
/me неочевидно, чем это решение более тотальное, чем
Он возвращает
loop { }.Он возвращает
!λ
/me неочевидно, чем это решение более тотальное, чем
Он возвращает
loop { }.Он возвращает
!loop {} это аналог let x = x in x
λ
let x = x in x ни один тотальный язык тебе не даст написать
λ
а проматчиться по лжи можно
𝙰𝙸
/me неочевидно, чем это решение более тотальное, чем
Он возвращает
loop { }.Он возвращает
!Почему
match a {} - это !?