11/12/11 20:04:04.39
>>464
read
466:はちみつ餃子 ◆8X2XSCHEME
11/12/11 20:28:21.93
>>460
関数型とは何かという明確な定義は無いので、ちゃんとしたというのがどの程度のことを言うのかで判断が分かれると思いますね。
Haskell が「純粋関数型」と呼ばれることからもわかるように、その逆の純粋でない関数型もあるわけで。
純粋でないことを以ってちゃんとしてないというのであれば「そうですね」という感じかなぁ。
純粋とそうでないのとを分ける基準があるのかもよくわかりませんが、
あたりまえに副作用を起こせるのを純粋とは言えないのは間違いないでしょう。
そもそも LISP は何でも有りの自由なところが特徴だし、
Common Lisp や Scheme はマルチパラダイムを標榜してもいるので、
LISP という言語が関数型としてどうかという問いはあまり意味がないですね。
あなたがそうしたければ純粋関数型的な語彙を組立ててそのスタイルを貫く自由は与えられています。
467:デフォルトの名無しさん
11/12/11 23:36:25.04
>>465
ありがとうございます
468:デフォルトの名無しさん
11/12/12 06:30:20.68
lispの特徴はS式構文でしょ。
469:デフォルトの名無しさん
11/12/12 11:33:48.29
昔はGCとかSchemeの継続とか強力なOOシステム(Flavors, CLOS)も特徴だったけど、
今は他の言語でも見られるしね。S式＋マクロはLisp族だけだね。
470:デフォルトの名無しさん
11/12/12 11:34:43.39
ADTを直接記述出来る事かと。
471:デフォルトの名無しさん
11/12/12 14:14:41.71
リストの操作で質問します
(val (lis1) (lis2 (lis3)))
このリストに別のリスト(lis4)を追加して
(val (lis1) (lis2 (lis3) (lis4)))
のようにlis2のリストの末尾に追加したいです
そのあとで追加したリストも
(val (lis1) (lis2 (lis3) (lis4) (lis5) (lis6)))
というふうに後ろに挿入したいのですが、
どういう操作をすればよいでしょうか
472:デフォルトの名無しさん
11/12/12 14:57:15.97
>>471
そういうことをやりたくなるってことは、リストが分かってないってこと。
473:デフォルトの名無しさん
11/12/12 19:27:28.75
深いすなあ
474:デフォルトの名無しさん
11/12/12 21:30:27.25
(set-cdr! (last-pair (caddr ls)) (cons ls7 '()))
475:デフォルトの名無しさん
11/12/12 22:17:16.53
(setq l '((1) (2 (3))))
(defun append-tail (l m)
(append (list (first l))
(list (append (list (first (second l)))
(list (append (second (second l))
m))))))
CL-USER> (append-tail l '(4))
((1) (2 (3 4)))
CL-USER> (append-tail (append-tail l '(4)) '(5))
((1) (2 (3 4 5)))
CL-USER> (append-tail (append-tail (append-tail l '(4)) '(5)) '(6))
((1) (2 (3 4 5 6)))
476:デフォルトの名無しさん
11/12/12 22:24:46.15
>>474
意図した通りに動きました！ありがとうございます
477:デフォルトの名無しさん
11/12/12 22:31:47.17
>>475
副作用無しのその動作も魅力的です
ありがとうございます
478:475
11/12/12 22:45:13.92
ちなみにこの形だとpush, popが使えて楽だよ。
CL-USER> (setq n '(((3) 2) (1)))
CL-USER> (push 4 (first (first n)))
(4 3)
CL-USER> n
(((4 3) 2) (1))
CL-USER> (push 5 (first (first n)))
(5 4 3)
CL-USER> (push 6 (first (first n)))
(6 5 4 3)
CL-USER> (push 7 (first (first n)))
(7 6 5 4 3)
CL-USER> n
(((7 6 5 4 3) 2) (1))
CL-USER> (pop (first (first n)))
7
CL-USER> n
(((6 5 4 3) 2) (1))
479:デフォルトの名無しさん
11/12/12 22:52:01.53
>>471
リストをひとつのオブジェクトに見立ててるように見えるけど、
そういう場合は、各要素へのアクセサを定義した方が良いよ。
単純になるし、保守性が良くなる。
あるいは、素直にクラスとか構造体、レコードで定義した方が楽。
単なる演習とかならどんな書き方しても良いと思うけど。
480:475
11/12/12 23:42:26.08
>>471
具体的に書いてよ。
中高一貫校の中学1年生が英作文の問題を必死こいて解いている子に関係代名詞を使うとシンプルな文章になって
読みやすいよと言われても語彙や文法を知らないのですよ。Web参考書は揃っているんだけどｗ
481:デフォルトの名無しさん
11/12/13 00:18:03.51
>>480
詳しく説明するのが面倒だった。食いついて来たら説明する予定だったけど。
てーか取り敢えず落ち着けよ。明後日の方向に弾飛んでんぞｗ
(define (value-name v) (cadr v))
(define (value-value v) (caddr v))
(define (set-value-name! v x) (set-car! (cdr v) x))
(define (set-value-value! v x) (set-car! (cddr v) x))
(define *x* '(value "x" ()))
(value-name *x*) ;=> "x"
(value-value *x*) ;=> ()
(set-value-name! *x* "y")
(set-value-value! *x* (append (value-value *x*) (list 0 1 2)))
(value-name *x*) ;=> "y"
(value-value *x*) ;=> (0 1 2)
こういうイディオムのこと。クラスやレコードはそれらのWeb参考書読んでくれ。
482:デフォルトの名無しさん
11/12/13 00:23:05.99
いや、イディオムってのも変か。パターンとか常套手段でひとつ。
なんでもリスト使うようなプロトタイプを最初に作るときとか、
後でデータ構造を差し替えたり、コードの可読性を上げるためにやるでしょ？
483:デフォルトの名無しさん
11/12/13 00:47:15.15
Schemeで書いたのは、いじめか。
Python使いにRubyで答えればプログラマとしての幅も広がるし、良いことづくしだ。
484:デフォルトの名無しさん
11/12/13 00:52:58.74
？
485:デフォルトの名無しさん
11/12/13 00:56:25.81
いやいやいやいや。>>474の人もSchemeだけど、「動きました！」って言ってんじゃん！
そもそもCommon LispともSchemeとも書いてないんだから。
マジレスすると、CLerだった場合はset-car!をrplacaに読み替えれば分かると思います。
普通は汎変数使うと思うけど。