vallog: (append '() 'a) ; -> a

2010/08/08

gauche で (append '() 1) を評価した結果が 1 になるのはなんとなく納得いかないなぁ...

これを見て私もまんまと「え、なんでだろう？」と思いました。

shiro: R5RSでそう規定されてます RT: @yujiorama: gauche で (append '() 1) を評価した結果が 1 になるのはなんとなく納得いかないなぁ... http://bit.ly/atJY60

で、実際 R5RS を見てみたら、そう書いてありました。そらそうですね。

shiro: appendは正式なリスト同士の演算じゃないんですね。むしろペアに対する演算の一種と考えた方がすっきりする。consやlist*の仲間。 http://bit.ly/9eMywh

@valvallow いや、一貫してるでしょう。リストの最後 (null) を次のリストに置き換えた形にするものと考えれば。

ここまで読んでもピンと来ませんでしたorz
下記のように append を自分で書いてみてようやくわかりました。。orz (append '() 'a) ; -> a なのは当然の結果ですね。

	(use srfi-1)

	(define (my-append ls1 ls2)
	(fold-right cons ls2 ls1))

	(my-append '(1 2 3)'(a b c))
	;; (1 2 3 a b c)
	(my-append '() 'a)n
	;; a
	(my-append '(1) 2)
	;; (1 . 2)


	(define (my-append ls1 ls2)
	(if (null? ls1)
	ls2
	(cons (car ls1)
	(my-append (cdr ls1) ls2))))

	(my-append '(1 2 3)'(a b c))
	;; (1 2 3 a b c)
	(my-append '() 'a)
	;; a
	(my-append '(1) 2)
	;; (1 . 2)

	(define (my-append ls1 ls2)
	(let rec ((ls (reverse ls1))(acc ls2))
	(if (null? ls)
	acc
	(rec (cdr ls)(cons (car ls) acc)))))

	(my-append '(1 2 3)'(a b c))
	;; (1 2 3 a b c)
	(my-append '() 'a)
	;; a
	(my-append '(1) 2)
	;; (1 . 2)


	(define (my-appends ls . lss)
	(fold (lambda (e acc)
	(my-append acc e)) '() (cons ls lss)))

	(my-append '(1 2 3)'(a b c))
	;; (1 2 3 a b c)
	(my-append '() 'a)
	;; a
	(my-append '(1) 2)
	;; (1 . 2)
	(my-appends '(1 2 3)'(4 5 6)'(7 8 9)'(10 11 12))
	;; (1 2 3 4 5 6 7 8 9 10 11 12)


	(define (my-appends ls . lss)
	(let rec ((ls (reverse (cons ls lss)))(acc '()))
	(if (null? ls)
	acc
	(rec (cdr ls)(my-append (car ls) acc)))))

	(my-append '(1 2 3)'(a b c))
	;; (1 2 3 a b c)
	(my-append '() 'a)
	;; a
	(my-append '(1) 2)
	;; (1 . 2)
	(my-appends '(1 2 3)'(4 5 6)'(7 8 9)'(10 11 12))
	;; (1 2 3 4 5 6 7 8 9 10 11 12)

view raw *scratch*.scm hosted with ❤ by GitHub

vallog