From: Jim Pryor <profjim@jimpryor.net>
Date: Mon, 4 Oct 2010 14:18:22 +0000 (-0400)
Subject: add in Oleg's list_equal
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=9e49e4a8db892623d6f3dd202aad27a8547ad826

add in Oleg's list_equal

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/hints/assignment_4_hint_2.mdwn b/hints/assignment_4_hint_2.mdwn
index 5ee63f55..8acdb136 100644
--- a/hints/assignment_4_hint_2.mdwn
+++ b/hints/assignment_4_hint_2.mdwn
@@ -15,39 +15,6 @@ What's your base case?
 
 
 <!--
-eql [] l2        = empty l2
-eql (l1h:l1t) l2 = and (not (empty l2))
-                       (l1h == head l2)
-                       (eql l1t (tail l2))
-
-Simple rearangement:
-
-eql []        = \l2 -> empty l2
-eql (l1h:l1t) = \l2 -> and (not (empty l2))
-                       (l1h == head l2)
-                       (eql l1t (tail l2))
-
-and another one rearrangement:
-
-eql []        = \l2 -> empty l2
-eql (l1h:l1t) = let prev = eql l1t
-                in \l2 -> and (not (empty l2))
-                              (l1h == head l2)
-                              (prev (tail l2))
-
-Now it fits the pattern of foldr
-
-So, the end result:
-
-eql = foldr f z
- where
- z = empty
- f h z = \l2 -> and (not (empty l2))
-                    (h == head l2)
-                    (z (tail l2))
--->
-
-<!--
 let list_equal =
     \left right. left
                 ; here's our f
@@ -71,3 +38,23 @@ let list_equal =
                 (\might_be_equal right_tail. and might_be_equal (isempty right_tail))
 -->
 
+<!--
+eql [] l2        = empty l2
+eql (l1h:l1t) l2 = and (not (empty l2))
+                       (l1h == head l2)
+                       (eql l1t (tail l2))
+
+Rearangement:
+
+eql []        = \l2 -> empty l2
+eql (l1h:l1t) = let prev = eql l1t
+                in \l2 -> and (not (empty l2))
+                              (l1h == head l2)
+                              (prev (tail l2))
+
+Now it fits the pattern of foldr
+
+let list_equal = \lst. lst (\hd sofar. \lst. and (and (not (isempty lst)) (eq hd (head lst))) (sofar (tail lst))) isempty
+
+-->
+
diff --git a/lambda_library.mdwn b/lambda_library.mdwn
index 579668be..0c00c450 100644
--- a/lambda_library.mdwn
+++ b/lambda_library.mdwn
@@ -329,5 +329,9 @@ let list_equal =
                 )
                 ; when fold is finished, check sofar-pair
                 (\might_be_equal right_tail. and might_be_equal (isempty right_tail))
+
+; most elegant
+let list_equal = \lst. lst (\hd sofar. \lst. and (and (not (isempty lst)) (eq hd (head lst))) (sofar (tail lst))) isempty
+
 -->