Changes between Initial Version and Version 1 of Dev/lambda

Timestamp:

Nov 28, 2010 9:55:48 PM (13 years ago)

Author:

mitty

Comment:

--

Dev/lambda

@@ +1 @@
+[[PageOutline]]
+
+ = λ計算に纏わる資料 =
+ * wikipetan:ラムダ計算
+
+ * see [../scheme]
+
+ = recursion =
+ * lambdaを使った無名再帰は可能か？
+   * たとえば以下のschemeコード
+{{{
+#!scheme
+(define (add n)
+    (local
+        (
+            ;; n-th power of given funtion
+            ;;   repeat : func num -> n-th power of func
+            (define (repeat f n)
+                (cond
+                    [(= n 0) (lambda (x) x)]
+                    [else
+                        (lambda (x)
+                            (f 
+                                (
+                                    (repeat f (- n 1))
+                                    x
+                                )
+                            )
+                        )
+                    ]
+                )
+            )
+        )
+        (repeat add1 n)
+    )
+)
+}}}
+   * 上記コードにより以下が示される
+{{{
+#!scheme
+> ((add 4) 10)
+14
+}}}
+   * ここで、local内で定義されているrepeatを無名関数にすることは可能か？