Т8
и смог бы стать более выразительным, если бы изначально делали с ХКТ и зав типами
А это возможно без гц?
Size: a a a
2020 March 25
Т8
Так а в формализации багов не может случиться? Я как посмотрел на сигнатуры типов с доказательствами, так они подлиннее целой функции с телом на питоне
p
Т-34 85
А это возможно без гц?
с болью
Т8
скорее всего у тебя верификатор ругнется
AZ
warning: unused `std::result::Result` that must be used
--> src\main.rs:54:13
|
54 | fs::copy(path, new_path);
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_must_use)]` on by default
= note: this `Result` may be an `Err` variant, which should be handled
К слову про типы. Вот я не дурак вроде, а результат записи файла не проверил
p
ошибиться можно всегда
AZ
забыл
AZ
прям в тему))
Т8
не особо
Жаль
AZ
спасибо за варнинг, щас поправлю
AZ
Т-34 85
Жаль
ну смотри, у тебя монады например имеют какой интерфейс? (a -> f b) -> f a -> f b
AZ
а какой интерфейс у футур в расте например?
(a -> Future b) -> (Future a) -> (Map b)AZ
видишь проблему?
Т8
warning: unused `std::result::Result` that must be used
--> src\main.rs:54:13
|
54 | fs::copy(path, new_path);
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_must_use)]` on by default
= note: this `Result` may be an `Err` variant, which should be handled
К слову про типы. Вот я не дурак вроде, а результат записи файла не проверил
В джаве проверяемые исключения дают нечто подобное
Т8
видишь проблему?
Я в этом не разбираюсь, сорри
AZ
Т-34 85
Я в этом не разбираюсь, сорри
тип поменялся
AZ
монада требует чтобы тип остался тем же
p
тип поменялся
объясни
AZ
а в футуре тип меняется, был один. а стал Map