x это именно чистое значение, то есть значение без эффектов? Какого эффекта в этом значении нет, а в других продолжениях -- есть?
То есть хочется противопоставления вида "монада Maybe описывает вычисления с возможным фейлом, потому pure x это вычисление без фейла. Монада списка описывает вычисление с недетерменированным результатом, поэтому pure x -- это вычисление детерминированным результатом".
здесь ничего не приходит, кроме самого продолжения
Обсуждают сегодня