鐃淑￥申鐃淑わ申任鐃緒申函鐃緒申鐃�

1鐃縦の醐申鐃緒申飽呂鐃緒申鐃緒申泙鐃緒申螢刻申鐃� @ 2008年01鐃緒申 @ ratio - rational - irrational @ IDM
arc鐃緒申蝓種申鐃緒申鐃緒申鐃叔とわ申!

鐃夙わ申鐃緒申鐃緒け鐃緒申鐃緒申鐃緒申鐃銃みわ申鐃緒申

鐃緒申鐃緒申www 鐃緒申鐃曙、Lisp Fundamentalist 鐃循ど居申鐃緒申反鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃叔わ申鐃熟わ申鐃緒申辰鐃祝�鐃緒申鐃緒申鐃緒申辰鐃緒申鐃�

鐃淑駕申鐃緒申Tutorial鐃緒申鐃緒申屬辰箸啣媾鐃緒申鐃緒申鐃峻っわ申鐃緒申鐃獣ぷ￥申

defvar 鐃緒申 =

鐃殉わ申鐃熟わ申鐃曙。

arc> (= foo 13)
13
arc> foo
13

defun 鐃緒申 def

Scheme鐃緒申鐃緒申鐃緒申(define (funname arg) (...)鐃叔なわ申鐃緒申(defvar funname (arg) (...)鐃叔わ申鐃緒申mzscheme鐃叔種申鐃緒申鐃緒申鐃緒申討襪�鐃緒申鐃祝わ申鐃緒申

arc> (def average (x y) 
       (/ (+ x y) 2))
#<procedure: average>
arc> (average 2 4)
3

scheme鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑誌申箸鐃緒申討蓮鐃緒申竸鐃緒申鐃緒申鐃緒申鐃�def鐃叔わ申鐃緒申鐃藷じゃ、鐃夙わ申鐃緒申辰鐃緒申鐃盾す鐃緒申里任鐃緒申鐃緒申鐃緒申竸鐃緒申悗鐃緒申鐃緒申鐃緒申抜愎鐃緒申鐃緒申鐃緒申分鐃緒申鐃銃わ申鐃暑お鐃緒申鐃緒申鐃叔￥申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃緒申鐃殉わ申鐃緒申

arc> x
(a b)
arc> (= (car x) 'z)
z
arc> x
(z b)

lambda 鐃熟λ￥申鐃緒申鐃緒申覆鐃緒申鐃�fn

鐃緒申鐃緒申鐃叔種申鐃緒申鐃緒申鐃緒申鐃緒申箸鐃緒申鐃緒申鐃緒申覆鵑燭辰討茲�鐃夙わ申鐃殉わ申鐃緒申鐃初。

arc> ((fn (x y) (/ (+ x y) 2)) 2 4)
3

鐃叔￥申鐃緒申鐃緒申造 = 鐃舜随申

鐃緒申鐃塾わ申鐃緒申鐃所機能鐃夙わ申鐃銃わ申Lisp鐃塾随申鐃緒申頂鐃緒申鐃叔わ申鐃緒申鐃緒申鐃緒申辰鐃�Lisp鐃祝みわ申鐃粛わ申鐃緒申

arc> ("foo" 0)
#\f
arc> ("foo" 1) ; 鐃緒申鐃緒申鐃緒申
#\o

鐃緒申鐃祝わ申鐃緒申鐃宿のわ申鐃縦わ申鐃緒申鐃緒申?

鐃緒申鐃緒申鐃緒申鐃緒申鐃術随申鐃緒申with鐃緒申

鐃緒申鐃塾よう鐃緒申let鐃盾あ鐃緒申里任鐃緒申鐃緒申鐃�

arc> (let x 1 
       (+ x (* x 2)))
3

複鐃緒申鐃術随申鐃緒申箸鐃緒申鐃緒申鐃緒申鐃緒申with鐃緒申箸鐃緒申泙鐃緒申鐃�

arc> (with (x 3 y 4)
       (sqrt (+ (expt x 2) (expt y 2))))
5

if鐃塾重わ申鐃叔わ申

(if a b c d e)
; 鐃淑駕申鐃緒申同鐃緒申
; (if a
;     b
;     (if c
;         d
;         e))

Graham鐃緒申鐃緒申辰董鐃緒申鐃緒申萌鐃緒申鐃塾ネワ申鐃夙件申鐃緒申?

and鐃緒申or鐃熟ワ申鐃順ー鐃夙ワ申鐃緒申鐃緒申鐃獣ワ申

鐃緒申鐃緒申呂錣�鐃緒申笋刻申鐃�

arc> (and nil
          (pr "you'll never see this"))
nil

鐃緒申鐃緒申鐃�not鐃緒申鐃緒申覆鐃緒申鐃�no

鐃淑わ申鐃�!鐃祝わ申鐃淑わ申鐃獣わ申鐃緒申鐃緒申鐃� 

arc> (def mylen (xs)
       (if (no xs)
           0
           (+ 1 (mylen (cdr xs)))))
#<procedure: mylen>
arc> (mylen nil)
0
arc> (mylen '(a b))
2

== 鐃緒申 is

鐃緒申鐃緒申呂覆鐃循どわ申鐃盾。==鐃緒申鐃熟わか鐃緒申笋刻申鐃緒申鐃�

arc> (is 'a 'a)
t
arc> (is "foo" "foo")
t

鐃緒申鐃緒申鐃緒申鐃緒申鐃所ス鐃夙わ申鐃緒申鐃銃まわ申鐃緒申咾鐃緒申鐃緒申鐃緒申iso (isomorphic鐃緒申略)

arc> (iso (list 'a) (list 'a))
t

for/each/while/repeat

鐃緒申鐃緒申呂佞弔鐃緒申鐃�LL鐃夙わ申鐃祝はふつわ申鐃緒申

arc> (for i 1 10 
       (pr i " "))
1 2 3 4 5 6 7 8 9 10 nil
arc> (each x '(a b c d e) 
       (pr x " "))
a b c d e nil
arc> (let x 10
       (while (> x 5)
         (= x (- x 1))
         (pr x)))
arc> (repeat 5 (pr "la "))
la la la la la nil

鐃緒申鐃緒申辰噺鐃緒申鐃�map

鐃春つわ申鐃緒申

arc> (map (fn (x) (+ x 10)) '(1 2 3))
(11 12 13 . nil)

鐃叔わ申鐃緒申鐃緒申鐃緒申鐃緒申覆鐃緒申箸鐃叔わ申鐃殉わ申鐃緒申

arc> (map + '(1 2 3 4) '(100 200 300))
(101 202 303)

鐃叔￥申鐃緒申鐃曙。

arc> (map [+ _ 10] '(1 2 3))
(11 12 13 . nil)

鐃緒申鐃緒申辰討匹鐃緒申鐃�perl?

keep鐃緒申grep

鐃緒申鐃緒申魯鐃緒申鵐垢鐃緒申鐃緒申鐃緒申鐃�

arc>> (keep odd '(1 2 3 4 5 6 7))
(1 3 5 7)

鐃叔もこ鐃緒申鐃塾�鐃緒申鐃潤ぎ

arc> (rem odd '(1 2 3 4 5 6))
(2 4 6)

鐃緒申鐃獣わ申

arc> (keep ~odd '(1 2 3 4 5 6))
(2 4 6)

鐃叔誌申足鐃緒申鐃熟わ申鐃緒申鐃緒申鐃�rem鐃獣わ申basic鐃緒申鐃夙ワ申鐃緒申鐃夙になっわ申鐃純う鐃緒申鐃�

鐃春つわ申鐃緒申hash鐃緒申鐃緒申鐃緒申鐃緒申

鐃緒申鐃緒申鐃緒申膣随申鐃�!

arc> (= airports (table))         
#hash()
arc> (= (airports "Boston") 'bos)
bos
arc> (let h (listtab '((x 1) (y 2)))
       (h 'y))
2
arc> (let h (obj x 1 y 2)
       (h 'y))
2

鐃緒申鐃緒申鐃竣わ申鐃純す鐃夙わ申鐃緒申

鐃緒申鐃盾い鐃緒申鐃叔わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申

arc> (coerce "foo" 'cons)
(#\f #\o #\o)
arc> (coerce "99" 'int)
99
arc> (coerce "99" 'int 16)
153

push 鐃緒申鐃緒申 pop

arc> (= x '(c a b))
(c a b)
arc> (pop x)
c
arc> x
(a b)
arc> (push 'f x)
(f a b)
arc> x
(f a b)

鐃殉ッワ申鐃殉ワ申鐃緒申

鐃緒申鐃緒申Graham鐃初し鐃緒申鐃夙思っわ申鐃塾わ申鐃緒申鐃曙。ro鐃緒申鐃緒申鐃獣わ申鐃緒申鐃淑わ申鐃塾でわ申鐃粛￥申

(mac when (test . body)
  `(if ,test (do ,@body)))

鐃緒申鐃緒申鐃緒申鐃�

鐃淑上、鐃庶け足鐃緒申arc鐃薯見てわ申鐃殉わ申鐃緒申鐃緒申鐃緒申鐃淑まわ申lisp/scheme鐃緒申鐃塾ってわ申鐃緒申肇鐃緒申發�鐃緒申鐃緒申鐃殉わ申鐃緒申鐃緒申鐃熟わ申鐃潤か鐃初こ鐃緒申任鐃緒申辰鐃緒申鐃暑構鐃緒申鐃緒申鐃緒申鐃宿わ申鐃夙わ申鐃緒申里任呂覆鐃緒申鐃緒申隼廚辰鐃緒申鐃獣わ申鐃緒申鐃緒申鐃緒申鐃叔常申覆里任鐃緒申腓�鐃粛わ申鐃緒申list鐃緒申array鐃獣ぽわ申鐃夙わ申鐃緒申(e.g. push/pop)鐃緒申hash鐃緒申鐃俊ワ申肇鐃緒申鐃夙わ申鐃緒申鐃塾はわ申鐃瞬ポワ申鐃夙ワ申鐃緒申鐃緒申鐃緒申廚辰櫃鐃緒申鐃緒申鐃緒申鐃�car鐃夙わ申cdr鐃夙わ申鐃熟￥申鐃瞬古わ申鐃渋わ申lisp鐃竣のままでわ申鐃緒申鐃緒申

鐃叔も、鐃緒申鐃瞬鰹申側鐃緒申()鐃緒申匹鐃緒申鐃緒申襪�鐃緒申鐃緒申arc鐃薯気わ申鐃緒申鐃暑か鐃宿わ申鐃緒申鐃塾種申鐃緒申鐃緒申

'(dan the arc newbie)