モナド評価の `bind`演算子

Question

私はSchemeで実装されたthe article of Dan Friedman about monadic evaluationを数回読みましたが、State monadのサブチャプターの終わりからエクササイズに悩まされています。

この記事は非常にはっきりしていますが、最小限の理論で深い理解を得ていますが、この演習は実際にはあいまいです。私はいくつかの重要な面を欠場することが恐れており、これが私がここで尋ねる理由です。

運動がそうである：

remberevensXcountevensで

、増分は末尾再帰呼び出しの前に行われますが、我々は、これらのイベントの順序を変更する 自由です。続編の本文を 第1引数にして状態を束縛し、続編を適切に調整することによって、この並べ替えられたイベントの変種を実装してください。この新しい最初の引数 は、テールコールを状態にバインドしますか？

それはバインドする引数として渡さmaを呼び出すために>>=オペレータから、その後最初の続編を呼び出すことが求められます。

私は再帰呼び出しを最初に行う方法を理解していないし、その後にmaを呼び出して状態の値を変更します。私はちょうど>>=の議論を変えましたが、評価の順序は変えませんでした。

私が最初にsequelを評価しようとすると、私はvalueを渡すべきか分からない。

私のコードはそうである：

(define return 
    (lambda (a) 
    (lambda (s) 
     (cons a s)))) 

(define >>= 
    (lambda (sequel ma) 
    (lambda (s) 
     (let ((pair (ma s))) 
     (let ((value (car pair)) 
       (state (cdr pair))) 
      (let ((mb (sequel value))) 
      (mb state))))))) 

(define rember/count 
    (lambda (l) 
    (cond ((null? l) (return '())) 
      ((list? (car l)) 
      (>>= (lambda (a) 
        (>>= (lambda (d) 
         (return (cons a d))) 
         (rember/count (cdr l)))) 
       (rember/count (car l)))) 
      ((even? (car l)) 
      (>>= (lambda (_) (rember/count (cdr l))) 
       ;; here I want to evaluate the addition AFTER the `(rember/count (cdr l))`. 
       (lambda (s) (cons '_ (+ 1 s))))) 
      (else 
      (>>= (lambda (d) 
        (return (cons (car l) d))) 
       (rember/count (cdr l))))))) 

((rember/count '(1 2 3 4 (7 8 9 10 11) 5 6)) 0) 

Answer 1

生機能が

今

... 
    (bind (λ (s) `(_ . ,(add1 s))) 
       (λ (_) (remberevensXcountevens d))) 
... 

で、まず最初に行うには、です（RXC d）がある続編の体を持っています、 は、をバインドするための最初の引数になります。 だから我々は、我々は、再帰呼び出しの周りの結果を維持するためにDを必要

(bind (remberevensXcountevens d) 
     (λ (d) ...)) 

注意を持っています。

私たちは偶数であることを知っています。状態にadd1を加えなければなりません。

(bind (remberevensXcountevens d) 
     (λ (d) (... (λ (s) (cons '_ (add1 s))) ...))) 

（λ（s）...）は純粋な価値のないモナドです。それをバインドして計算の一部にする必要があります。 だから

(bind (remberevensXcountevens d) 
     (λ (d) (bind (λ (s) (cons '_ (add1 s))) 
        (λ (_) ...)))) 

今の状態が更新され、私たちは便利な純粋な価値を持っています。