08/04/08 03:57:31
>>197
どのあたりから肉とか魚になるのさw
199:デフォルトの名無しさん
08/04/08 23:20:13
Rubyになった時だろ。
200:デフォルトの名無しさん
08/04/09 00:20:32
Σ(´д` ).
201:デフォルトの名無しさん
08/04/10 23:24:33
相互再帰たらいまわし
(= Y* ([_ _]
[fn fs (fn (f) (fn xs (apply (apply f (map (apply (_ _) fs) fs)) xs)))]))
(= tarai
((fn (f g) ((Y* f g) f))
(fn (f g)
(fn (x y z)
(if (<= x y) y
(g (f (- x 1) y z)
(f (- y 1) z x)
(- z 1) x y))))
(fn (f g)
(fn (x y zx zy zz)
(if (<= x y) y
(let z (f zx zy zz)
(f x y z)))))))
202:デフォルトの名無しさん
08/04/22 20:44:47
直接貼ると見づらいが、リンクするのも微妙だし、なんとかならんのか
203:デフォルトの名無しさん
08/04/22 22:14:44
>>201
どうなってるんだソレ
204:デフォルトの名無しさん
08/04/22 23:05:29
ふつうの定義。超遅い。竹内関数とも呼ばれる。
(= tarai
(fn (x y z)
(if (<= x y)
y
(tarai
(tarai (- x 1) y z)
(tarai (- y 1) z x)
(tarai (- z 1) x y)))))
#これコピペすると が鬱陶しい
Y*は2変数ならこうなる
((Y* f g) h) => (h ((Y* f g) f) ((Y* f g) g))
205:デフォルトの名無しさん
08/04/23 20:04:10
>>201を(´д`)Editで観易くするテスト
(= Y* ([_ _]
[fn fs (fn (f) (fn xs (apply (apply f (map (apply (_ _) fs) fs)) xs)))]))
(= tarai
((fn (f g) ((Y* f g) f))
(fn (f g)
(fn (x y z)
(if (<= x y) y
(g (f (- x 1) y z)
(f (- y 1) z x)
(- z 1) x y))))
(fn (f g)
(fn (x y zx zy zz)
(if (<= x y) y
(let z (f zx zy zz)
(f x y z)))))))
206:デフォルトの名無しさん
08/05/03 16:38:21
スターリスプみたいにさ、デフォルトで並列対応とかしてれば人気出るのに。
207:デフォルトの名無しさん
08/05/03 18:23:24
>>206
まだ表面的な部分しか公開されていないが実はそうなんジャマイカ?
208:デフォルトの名無しさん
08/05/09 00:02:32
並列どころか平行なんジャマイカJK。
209:デフォルトの名無しさん
08/05/09 06:50:39
ジャマイカとか言う前にちゃんと調べてから書け
210:デフォルトの名無しさん
08/05/09 07:02:55
調べてみた
URLリンク(ja.wikipedia.org)
211:デフォルトの名無しさん
08/05/09 20:32:07
>>210
そのリンクは『ジャマイカ』ジャマイカw
212:デフォルトの名無しさん
08/06/08 01:13:48
またLispの方言できたの?
213:デフォルトの名無しさん
08/06/08 01:48:21
使用者ごとに23の方言があると言われているのがLisp
214:デフォルトの名無しさん
08/06/08 01:55:40
schemeとCLに比べて、何が凄いの?
215:デフォルトの名無しさん
08/06/08 03:04:40
作った人が凄い
216:デフォルトの名無しさん
08/06/08 03:59:29
アーク ザ ラングエッジ
217:デフォルトの名無しさん
08/06/11 13:40:39
…インテリジェントパイプ?違うか。
218:デフォルトの名無しさん
08/10/17 02:34:21
過疎ってるね。