2_10_monad.rkt

#lang racket
(require racket/control)



; ((reset (shift k (lambda (state) 2))) 0)


(define (tick _) (shift k (lambda (state) ((k '()) (+ state 1)))))
(define (get _) (shift k (lambda (state) ((k state) state))))

(define (run_state thunk)
  ((reset (let ((result (thunk '())))
           (lambda (state) result))) 0))

(run_state tick)
(run_state get)
(run_state (lambda (_)
             (tick '())
             (get '())
             ))