Почему в Cont монаде pure x = \c -> c

Question

Почему в Cont монаде pure x = \c -> c

x это именно чистое значение, то есть значение без эффектов? Какого эффекта в этом значении нет, а в других продолжениях -- есть?

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

#haskell #programming #russian

0

03.08.2018

1 ответов

38 просмотров

Cheese Syrowiecki · Accepted Answer

Cheese Syrowiecki

здесь ничего не приходит, кроме самого продолжения

0

03.08.2018

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

Почему в Cont монаде pure x = \c -> c

1 ответов

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