ΑZ
получишь как ИО выглядит
Size: a a a
2021 May 28
ΑZ
почитай мою статью про монады там все расписано
AN
Я ктому что допустим у меня async fn foo() { f(getLine().await, getLine().await) }.
AN
как он знает что getLine() надо реально два раза вызвать а не сооптимизировать до одного?
AN
кстати ты обещал вторую часть емнип 🤣
ΑZ
для IO запрещены оптимизации такого рода
ΑZ
вот и все
ΑZ
точнее не так
ΑZ
ты можешь написать
async fn foo() {
var getLine = getLine();
f(getline.await, getline.await);
}.
И получишь ровно тот же результатΑZ
у тебя же ссылочная прозрачность
ΑZ
вызов функции и её результат одно и то же
ΑZ
ну давай представим что у нас не консольный ИО а SQL. тогда это такая же разница как:
async fn foo() { f("SELECT * FROM TABLEW".await, "SELECT * FROM TABLEW".await) }.
async fn foo() { f("SELECT * FROM TABLEW".await, "SELECT * FROM TABLEW".await) }.
ΑZ
и
async fn foo() {
var sqlSelect = "SELECT * FROM TABLE";
f(sqlSelect.await, sqlSelect.await);
}.ΑZ
у тебя есть некий описатель запроса
ΑZ
и выполнение
AN
ну да какая то магия монад кароче. что я не могу закэшировать результат таким образом.
ΑZ
да нет там никакой магии
ΑZ
все максимально тупо
ΑZ
вот ио на расте в 50 строк