free-monad- все статьи тега ➜ страница 0

Монада паузы

монады могут делать многие удивительные, странные вещи. Они могут создавать переменные, которые содержат суперпозицию значений. Они могут позволить вам получить доступ к данным из будущего, прежде чем вычислить его. Они могут позволить вам писать деструктивные обновления, но не совсем. И тогда продолжение монады позволяет вам ломать умы людей! обычно ваш собственный. ; -) но вот задача: можете ли вы сделать монаду, которая может быть пауза? data Pause s x instance Monad (Pause s) mutate :: (s ...