actorial.nadeko

;;Actor model in Nadeko

(:= (- k a b) (k (** - a b)))
(:= (* k a b) (k (** * a b)))

(:= (actorial c n)
  (= n 0 
    (c 1) 
    (- (actorial (* c n)) n 1)))

(actorial show 5)

reference.md

Scheme 過去◇現在◇未来 http://www010.upp.so-net.ne.jp/okshirai/scheme-20070402222203.txt

(define actorial
  (alpha (n c)
    (send = n 0
      (alpha (p)
        (if p
            (send c 1)
            (send - n 1
              (alpha (m)
                (send actorial m
                  (alpha (z)
                    (send * n z c))))))))))