vallog

(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)))

Re: comp.lang.scheme で簡単なリスト操作のお題が出ておるな。

Twitter / ばーるのようなもの: comp.lang.scheme で簡単なリスト操作 ...

comp.lang.scheme で簡単なリスト操作のお題が出ておるな。 http://goo.gl/5GAm

ということで、やってみました。Scheme（Gauche）です。

以下コード。

追記

教えて頂きました！いつもありがとうございます！

Twitter / SaitoAtsushi: @valvallow (use gauche.seq ...

@valvallow (use gauche.sequence)(use srfi-1)(define(key-sorted-combine lst)(map(pa$ append-map cdr)(group-collection lst :key car)))

(use gauche.sequence)
(use srfi-1)
(define (key-sorted-combine lst)
  (map (pa$ append-map cdr)
       (group-collection lst :key car)))

(define data
  '((0 a b) (1 c d) (2 e f) (3 g h) (1 i j)
    (2 k l) (4 m n) (2 o p) (4 q r) (5 s t)))

(key-sorted-combine data)
;; ((a b) (c d i j) (e f k l o p) (g h) (m n q r) (s t))

group-collection 要チェックや！

Gauche ユーザリファレンス: 9.3 gauche.collection - コレクションフレームワーク

そういえば、以前 group-sequence は見た記憶が。。

vallog: Gauche group-sequence と L-99 の L09

2010/09/23

srfi-26 の cut を使ってると (cut list 1 <0> 3 <1> 4) って書けたら・・・なんて思います。衛生的なマクロではありませんが、試しに書いてみました。

使用例はこんな感じ。<...> は考慮していません。あと、(cutn list <0> <1> (* <0> <0>)) のようなネストしたものは cut 同様考慮していません。

（最後の例が微妙な気もする）

cutn のコードはこちら。

うーん。

ドット対をリストに変換する

基本的には終端を空リストにしたリストを返します。一応 terminal-fun にて終端を指定できるようにしました。
コードは以下の通り。

先日書いた defmacro! がバグっていたので

先日書いたものがバグっていたので、修正しようとしましたが解決できず・・・。

vallog: LOL defmacro!

バグは、defmacro! で可変長引数が取れないというものです。
例えば、
(defmacro! (sum . args) ...
とした時に args を filter して o! シンボルを g! シンボルに置き換えようとするところで、args がまだシンボルのままであるためエラーになるというものです。よって、その処理を書く場所に気をつけて評価順序を制御すれば良いだろうと思って修正を試みていたのですが、なかなかうまくいかず。。悔しいれす（＾ｐ＾）

猫好きながら猫アレルギーにより鼻水ダラダラを理由に今日は一旦諦めます。。