ΑZ
Для хаскеля то же самое верно, не всегда можно узнать если делать unsafePerformIO
ну только за ансейфперформио можно сразу в табло давать, а ты предлагаешь это на полном серьезе юзать
Size: a a a
2020 September 02
p
ну только за ансейфперформио можно сразу в табло давать, а ты предлагаешь это на полном серьезе юзать
Я предлагаю сделать возможность задавать свои модификаторы бооков
p
#[required_explicit]
modifier IO;
IO fn print(some: String) { ... }
fn foo() { print("1"); // ошибка }
fn foo() { IO { print("1"); } // ошибка }
IO fn foo() { IO { print("1"); } // работает }p
Сделать наследование модификаторов и появится возможность писать что-то Аля
modifier ConsoleIO: IO;
modifier ConsoleIO: IO;
H
(это делается едслями на монадах в идрисе, и не нужно ничего велосипедить)
ΑZ
#[required_explicit]
modifier IO;
IO fn print(some: String) { ... }
fn foo() { print("1"); // ошибка }
fn foo() { IO { print("1"); } // ошибка }
IO fn foo() { IO { print("1"); } // работает }Чем IO fn foo() лучше fn foo() -> IO () ?
p
Чем IO fn foo() лучше fn foo() -> IO () ?
Тем что нет монад
ΑZ
Тем что нет монад
это те же монады но в странной записи
p
это те же монады но в странной записи
unsafe - это монада?
p
В расте
ΑZ
unsafe - это монада?
да
p
Где она монада лол
ΑZ
ну она записана как ты предлагаешь "с контекстом"
ΑZ
но в виде монады она была бы лучше
p
Что
ΑZ
let res = unsafe {
let x = unsafe_foo();
let y = bar();
let z = unsafe_baz();
}
против
let res: Unsafe () = do
x <- unsafe_foo
let y = bar
z <- bazΑZ
во втором случае например сразу видно что реально ансейф только 1 и 3 строчка, а вторая - нет
Т8
Дело не в системе, дело в людях
ну вот есть в США Трамп - ничего ,не рухнули. А потому что система выстроена правильно
p
во втором случае например сразу видно что реально ансейф только 1 и 3 строчка, а вторая - нет
Ну норм только в расте ансейф не монада
p
Так же как и async { } не монада