unfold の cons が指定できても良いような

そんなことを思ったのでメモがてら。

	(define (accrec-right p f g c seed . terminal-fun)
	(let-optionals* terminal-fun ((terminal-fun identity))
	(let rec ((ls seed)(acc '()))
	(if (p ls)
	(terminal-fun acc)
	(rec (g ls)(c (f ls) acc))))))
	(define (accrec p f g c seed . terminal-fun)
	(let-optionals* terminal-fun ((terminal-fun identity))
	(accrec-right p f g c seed (lambda (ls)
	(terminal-fun (reverse ls))))))

view raw accrec.scm hosted with ❤ by GitHub

• SRFI 1: リスト ライブラリ

追記

• Twitter / @SaitoAtsushi: @valvallow (define(accrec- ...

@valvallow (define(accrec-right p f g c s :optional(t'()))(let l((s s)(a t))(if(p s)a(l(g s)(c(f s)a))))) unfoldとunfold-rightの最後の引数は意味が違いますよ

(define (accrec-right p f g c s :optional(t'()))
   (let l ((s s)(a t))
     (if (p s)
         a
         (l(g s)(c (f s) a)))))

(accrec-right null? car cdr cons '(1 2 3 4 5) '(0))
;; (5 4 3 2 1 0)

このオプション引数の指定のやり方、知りませんでした。。
それに、unfold、unfold-right の引数も確認しました。
ありがとうございました！！

追記2

• Twitter / leque: これは Hylomorphism になるのかなあ: ...

これは Hylomorphism になるのかなあ: 「unfold の cons が指定できても良いような」 http://valvallow.blogspot.com/2010/09/unfold-cons.html

ヒロモーフィズム？ハイロモーフィズム？何と読むんでしょうか。。初めて聞きました。
意味はわかりませんが、

「アナモルフィズム」(anamorphism)
「アポモルフィズム」(apomorphism)

とかいった言葉は srfi-1 のドキュメントで目にしたことがあります。

• SRFI 1: リスト ライブラリ

追記3

leque さんのコメントより。ありがとうございます！

『関数プログラミングの楽しみ』ではリストに対する hylomorphism を次のような感じで定義しています。

(define (hylo f e p g h seed)
  (fold-right f e (unfold p g h seed)))

(define (fact n)
  (hylo * 1 (cut = <> 0) values (cut - <> 1) n))

おお。なんかカッコイイ！

こんな感じでも良いのかな。

(define (fact n)
  (hylo * 1 zero? identity (lambda (n)
                             (- n 1)) n))

(define (fact n)
  (fold * 1 (unfold zero? identity (cut - <> 1) n)))