08/02/29 12:40:47
c-wrapperのデモビデオがみれなくなってる
std::vectorとかポインターをcに渡すことはできるの？
764:デフォルトの名無しさん
08/02/29 12:48:11
>>760
何で記述されてますか？
765:デフォルトの名無しさん
08/02/29 12:50:28
「Cは昔、関数型言語って呼ばれてました。
値を返さない手続きがない(void以前)ので」ってオチ禁止
766:デフォルトの名無しさん
08/02/29 14:44:35
CコンパイラはCで書かれてることが多いんじゃないかな？
あまり関係ないけど
GCCはLispライクな中間コードにコンパイルしてから
CPUコードを出力するって聞いたことがあるけど
767:デフォルトの名無しさん
08/02/29 15:31:53
Little Schemerだけど Chapter 8から難しくなってきた。
--------------------------------------------------------
The Tenth Commandment
Build functions to collect more than one value at a time.
”一度に複数の値を集めるための関数を作れ！”
--------------------------------------------------------
これが言わんとする深い意味はなんですか？
直前のmultiremberEco関数の例で確かに二つのリストに振り分けてるのは
理解できるんだけど。（tunaに一致するもののリストと一致しないもののリスト）
条件に応じて、その条件を満足する値（アトムなど）あるいは満足しない値を集めろ！
って意味なのかな？
768:デフォルトの名無しさん
08/02/29 21:33:46
>>763
>c-wrapperのデモビデオがみれなくなってる
今確認してみましたが、こちらからは見れました(ホームページのやつですよね)。
>std::vectorとかポインターをcに渡すことはできるの？
ポインターの受け渡しはできますが、今のところ c-wrapper は C++ には
対応していないので、残念ながら std::vector は無理です。
769:デフォルトの名無しさん
08/02/29 22:25:51
>>767
俺もそこらへん読んでる。急に難しくなってきたね。
説明できないのでもうちょっとよく読んでみる…
770:デフォルトの名無しさん
08/03/01 00:44:35
> multiremberEco
multirember＆co関数かと。
771:デフォルトの名無しさん
08/03/01 01:04:22
little schemer - multirember&co - reprise for dec 2006
URLﾘﾝｸ(groups.google.co.jp)
772:デフォルトの名無しさん
08/03/01 02:16:04
>>767
「at a time」でやることによって、
純関数型に特徴的なプログラミングスタイルが登場します。
昔birdが書いたコンパイラの純関数型ワン・パス・パーザや,
DanvyのTABA(There and Back Again)パターンや、
purely functional algorithmに出てくるようなコードなどでも
この章で使うようなテクニックが使われてます。
Little Schemeは非常に簡単な例でやっているので、
何が何だか分からない奇妙なパズルをやらされている気分になるかもしれませんが、
無意味なことはほとんどないので、著者を信じて頑張ってください。
まあバリバリ手続き型で書きたい人には苦行すぎる面もありますが。
773:デフォルトの名無しさん
08/03/01 12:01:59
>>770
＆か。何の文字かわからなかった。
>>772
実用的なコードの源泉かあ。
今は習うより慣れろのレベルだけど、Schemerシリーズは全部やる。
単純な例でも脳の体操にもなるし。
774:デフォルトの名無しさん
08/03/01 21:26:31
URLﾘﾝｸ(www.amazon.com)
The Scheme Programming Language, 3rd Edition
これは評価が高いですが、やはり良書ですか？
CのK&R相当らしく、数日でたくさん学ぶ人もいるらしいですが
どうなんでしょう。
775:デフォルトの名無しさん
08/03/01 21:42:06
>>774
Second Edition と村上さんの邦訳をもっているけど、
3rdはかなり改訂されてるんかい？
776:デフォルトの名無しさん
08/03/01 21:49:40
URLﾘﾝｸ(www.scheme.com)
777:デフォルトの名無しさん
08/03/01 21:55:25
>>776
おお、公開されてるんだ。Dybvigさん、太っ腹。
778:デフォルトの名無しさん
08/03/01 21:59:06
Schemers.Incの「The Schemer's Guide」が好きだったなぁ。
初心者向けの良い本だと思う。
779:デフォルトの名無しさん
08/03/02 00:08:16
Little Schemer P146
にある以下のプログラムなんですが、
(define evens-only*&co
(lambda (l col)
(cond
((null? l) (col (quote ()) 1 0))
((atom? (car l))
(cond
((even? (car l)) (evens-only*&co (cdr l)
(lambda (newl P S)
(col (cons (car l) newl) (* (car l) P) S))))
(else (evens-only*&co (cdr l)
(lambda (newl P S)
(col newl P (+ (car l) S)))))))
(else
(evens-only*&co (car l) ; ここから以下がよく理解できない
(lambda (al ap as)
(evens-only*&co (cdr l)
(lambda (dl dp ds)
(col (cons al dl) (* ap dp) (+ as ds))))))))))
特に (col (cons al dl) (* ap dp) (+ as ds)) とする意味が分かりません。
こういうものはどういう思考で捉えていけば良いのでしょうか？
具体値で考えると確かに正しいことは分かるのですが、それを一般式で
表すのが難しくて思いつきません。
780:779
08/03/02 00:31:17
具体値を入れて考えたメモを見ていたら何となく見てきました。
(evens-only*&co (car l) ; ここから以下がよく理解できない
(lambda (al ap as)
(evens-only*&co (cdr l)
(lambda (dl dp ds)
(col (cons al dl) (* ap dp) (+ as ds))))))))))
(car l) と (cdr l) について再帰してそれぞれの結果を得る。
まず、(cdr l) に対して結果を得る。つまり、dl dp ds が具体値に
決まる。その後、その結果に対して、(car l) に対する再帰の結果
である al ap as を得て、(cdr l) に対する結果とマージする。
よく分からなかったのはlambda関数のパラメータでした。
自分としてのキーポイントは、
①lambda関数のパラメータが具体値に求まる。
②lambda関数のパラメータが具体値に求まる順番はネストの深い
ものから始まる。
という風に考えるとよいかなと思いました。
781:779
08/03/02 00:36:37
表現がおかしかったです。
(evens-only*&co (cdr l)
(lambda (dl dp ds)
(col (cons al dl) (* ap dp) (+ as ds)))
要は、まず上の部分の (cdr l) の再帰が先に終了し、そのパラメータであるdl dp ds
が具体値に求まる。その後で、具体値に求まったdl dp dsとともに
(evens-only*&co (car l) (lambda (al ap as) ・・・の (car l) の部分の再帰が行われる。
782:779
08/03/02 00:42:43
やはりパラメータが具体値に求まるというのはおかしいですね。
パラメータは変数なので。。
ただ具体的な値で追っていくと、例えば
(col (cons al (2 4)) (* ap 8) (+ as 4)))
みたいな感じで、dl dp ds 部分が決まっていくようです。
パラメータが具体値に求まるというのは、その程度の意味です。
783:デフォルトの名無しさん
08/03/02 01:58:27
>>779-782
; direct style
(define (fact n)
(if (= n 0) 1
(* n (fact (- n 1)))))
; accumulator style
(define (fact n) (factacc n 1))
(define (factacc n acc)
(if (= n 0) acc
(factacc (- n 1) (* n acc))))
; continuation passing style
(define (fact n) (factacc n (lambda () 1)))
(define (factacc n cc)
(if (= n 0) (cc)
(factacc (- n 1) (lambda () (* n (cc))))))
accumulator styleは演算子が可換、
あるいは逆から数え上げることが可能(e.g. (from n) ←→(to n))でないと困る。
例えばリストに対する演算の場合。consは可換でない。