Монадическое do покрывает большую часть ?, async-await, yield, но всё-равно

Question

Пользователь 61919

Монадическое do покрывает большую часть ?, async-await, yield, но всё-равно

менее общно чем иметь кастомизируемое cps
например
do! {
let x <- None;
1
}
то есть если бы оно было, то в принципе, можно было ни ?, ни асинкавайт, ни try, не реализовывать, оно всё выражалось бы через do
разница в том, что монадическое do не может во вложенные выражения, например когда ? или await или yield находится где-то внутри foo(..., x?)

#backend #embedded #programming #russian #rust

0

11.10.2018

2 ответов

14 просмотров

кана

почему не может?

0

11.10.2018

саша кремов · Accepted Answer

саша кремов

проблема монад, что они стейтлес (попробуй написать инстанс монады для итератора аналогичный инстансу монады для списка из хаскеля), а у нас тут императивный язык

0

11.10.2018

172 похожих чатов

Монадическое do покрывает большую часть ?, async-await, yield, но всё-равно

2 ответов

Похожие вопросы