ikarus/scheme/ikarus.lists.ss

1089 lines
39 KiB
Scheme
Raw Normal View History

;;; Ikarus Scheme -- A compiler for R6RS Scheme.
;;; Copyright (C) 2006,2007,2008 Abdulaziz Ghuloum
;;;
;;; This program is free software: you can redistribute it and/or modify
;;; it under the terms of the GNU General Public License version 3 as
;;; published by the Free Software Foundation.
;;;
;;; This program is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
;;; General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with this program. If not, see <http://www.gnu.org/licenses/>.
(library (ikarus lists)
(export $memq list? list cons* make-list append length list-ref reverse
2007-09-10 17:09:19 -04:00
last-pair memq memp memv member find assq assp assv assoc
2007-09-10 17:28:06 -04:00
remq remv remove remp filter map for-each andmap ormap list-tail
2007-10-10 06:43:25 -04:00
partition for-all exists fold-left fold-right)
(import
(ikarus system $fx)
(ikarus system $pairs)
(except (ikarus) list? list cons* make-list append reverse
2007-09-10 17:09:19 -04:00
last-pair length list-ref memq memp memv member find
assq assp assv assoc remq remv remove remp filter
map for-each andmap ormap list-tail partition
2007-10-10 06:43:25 -04:00
for-all exists fold-left fold-right))
(define $memq
(lambda (x ls)
(let f ([x x] [ls ls])
(and (pair? ls)
(if (eq? x (car ls))
ls
(f x (cdr ls)))))))
(define list (lambda x x))
2007-09-09 23:31:19 -04:00
(define cons*
(lambda (fst . rest)
(let f ([fst fst] [rest rest])
(cond
[(null? rest) fst]
[else
(cons fst (f ($car rest) ($cdr rest)))]))))
2007-05-05 06:19:50 -04:00
(define list?
(letrec ([race
(lambda (h t)
(if (pair? h)
(let ([h ($cdr h)])
(if (pair? h)
(and (not (eq? h t))
(race ($cdr h) ($cdr t)))
(null? h)))
(null? h)))])
(lambda (x) (race x x))))
(module (make-list)
(define f
(lambda (n fill ls)
(cond
[($fxzero? n) ls]
[else
(f ($fxsub1 n) fill (cons fill ls))])))
(define make-list
(case-lambda
[(n)
(if (and (fixnum? n) ($fx>= n 0))
(f n (void) '())
(die 'make-list "not a valid length" n))]
[(n fill)
(if (and (fixnum? n) ($fx>= n 0))
(f n fill '())
(die 'make-list "not a valid length" n))])))
(define length
(letrec ([race
(lambda (h t ls n)
(if (pair? h)
(let ([h ($cdr h)])
(if (pair? h)
(if (not (eq? h t))
(race ($cdr h) ($cdr t) ls ($fx+ n 2))
(die 'length "circular list" ls))
(if (null? h)
($fx+ n 1)
(die 'length "not a proper list" ls))))
(if (null? h)
n
(die 'length "not a proper list" ls))))])
(lambda (ls)
(race ls ls ls 0))))
(define list-ref
(lambda (list index)
(define f
(lambda (ls i)
(cond
[($fxzero? i)
(if (pair? ls)
($car ls)
(die 'list-ref "index is out of range" index list))]
[(pair? ls)
(f ($cdr ls) ($fxsub1 i))]
[(null? ls)
(die 'list-rec "index is out of range" index list)]
[else (die 'list-ref "not a list" list)])))
(unless (and (fixnum? index) ($fx>= index 0))
(die 'list-ref "not a valid index" index))
(f list index)))
2007-06-13 10:42:04 -04:00
(define list-tail
(lambda (list index)
(define f
(lambda (ls i)
(cond
[($fxzero? i) ls]
[(pair? ls)
(f ($cdr ls) ($fxsub1 i))]
[(null? ls)
(die 'list-tail "index is out of range" index list)]
[else (die 'list-tail "not a list" list)])))
2007-06-13 10:42:04 -04:00
(unless (and (fixnum? index) ($fx>= index 0))
(die 'list-tail "not a valid index" index))
2007-06-13 10:42:04 -04:00
(f list index)))
2007-05-05 06:04:36 -04:00
(module (append)
(define reverse
(lambda (h t ls ac)
(if (pair? h)
(let ([h ($cdr h)] [a1 ($car h)])
(if (pair? h)
(if (not (eq? h t))
(let ([a2 ($car h)])
(reverse ($cdr h) ($cdr t) ls (cons a2 (cons a1 ac))))
(die 'append "circular list" ls))
2007-05-05 06:04:36 -04:00
(if (null? h)
(cons a1 ac)
(die 'append "not a proper list" ls))))
2007-05-05 06:04:36 -04:00
(if (null? h)
ac
(die 'append "not a proper list" ls)))))
(define rev!
2007-05-05 06:04:36 -04:00
(lambda (ls ac)
(cond
[(null? ls) ac]
[else
(let ([ls^ ($cdr ls)])
($set-cdr! ls ac)
(rev! ls^ ls))])))
2007-05-05 06:04:36 -04:00
(define append1
(lambda (ls ls*)
(cond
[(null? ls*) ls]
[else
(rev! (reverse ls ls ls '())
2007-05-05 06:04:36 -04:00
(append1 ($car ls*) ($cdr ls*)))])))
(define append
(case-lambda
[() '()]
[(ls) ls]
[(ls . ls*)
(append1 ls ls*)])))
(define reverse
(letrec ([race
(lambda (h t ls ac)
(if (pair? h)
(let ([h ($cdr h)] [ac (cons ($car h) ac)])
(if (pair? h)
(if (not (eq? h t))
(race ($cdr h) ($cdr t) ls (cons ($car h) ac))
(die 'reverse "circular list" ls))
(if (null? h)
ac
(die 'reverse "not a proper list" ls))))
(if (null? h)
ac
(die 'reverse "not a proper list" ls))))])
(lambda (x)
(race x x x '()))))
(define last-pair
(letrec ([race
(lambda (h t ls last)
(if (pair? h)
(let ([h ($cdr h)] [last h])
(if (pair? h)
(if (not (eq? h t))
(race ($cdr h) ($cdr t) ls h)
(die 'last-pair "circular list" ls))
last))
last))])
(lambda (x)
(if (pair? x)
(let ([d (cdr x)])
(race d d x x))
(die 'last-pair "not a pair" x)))))
(define memq
(letrec ([race
(lambda (h t ls x)
(if (pair? h)
(if (eq? ($car h) x)
h
(let ([h ($cdr h)])
(if (pair? h)
(if (eq? ($car h) x)
h
(if (not (eq? h t))
(race ($cdr h) ($cdr t) ls x)
(die 'memq "circular list" ls)))
(if (null? h)
'#f
(die 'memq "not a proper list" ls)))))
(if (null? h)
'#f
(die 'memq "not a proper list" ls))))])
(lambda (x ls)
(race ls ls ls x))))
(define memv
(letrec ([race
(lambda (h t ls x)
(if (pair? h)
(if (eqv? ($car h) x)
h
(let ([h ($cdr h)])
(if (pair? h)
(if (eqv? ($car h) x)
h
(if (not (eq? h t))
(race ($cdr h) ($cdr t) ls x)
(die 'memv "circular list" ls)))
(if (null? h)
'#f
(die 'memv "not a proper list" ls)))))
(if (null? h)
'#f
(die 'memv "not a proper list" ls))))])
(lambda (x ls)
(race ls ls ls x))))
(define member
(letrec ([race
(lambda (h t ls x)
(if (pair? h)
(if (equal? ($car h) x)
h
(let ([h ($cdr h)])
(if (pair? h)
(if (equal? ($car h) x)
h
(if (not (eq? h t))
(race ($cdr h) ($cdr t) ls x)
(die 'member "circular list" ls)))
(if (null? h)
'#f
(die 'member "not a proper list" ls)))))
(if (null? h)
'#f
(die 'member "not a proper list" ls))))])
(lambda (x ls)
(race ls ls ls x))))
2007-09-10 15:56:15 -04:00
(define memp
(letrec ([race
(lambda (h t ls p)
(if (pair? h)
(if (p ($car h))
h
(let ([h ($cdr h)])
(if (pair? h)
(if (p ($car h))
h
(if (not (eq? h t))
(race ($cdr h) ($cdr t) ls p)
(die 'memp "circular list" ls)))
2007-09-10 15:56:15 -04:00
(if (null? h)
'#f
(die 'memp "not a proper list" ls)))))
2007-09-10 15:56:15 -04:00
(if (null? h)
'#f
(die 'memp "not a proper list" ls))))])
2007-09-10 15:56:15 -04:00
(lambda (p ls)
(unless (procedure? p)
(die 'memp "not a procedure" p))
2007-09-10 15:56:15 -04:00
(race ls ls ls p))))
2007-09-10 17:09:19 -04:00
(define find
(letrec ([race
(lambda (h t ls p)
(if (pair? h)
(let ([a ($car h)])
(if (p a)
a
(let ([h ($cdr h)])
(if (pair? h)
(let ([a ($car h)])
(if (p a)
a
(if (not (eq? h t))
(race ($cdr h) ($cdr t) ls p)
(die 'find "circular list" ls))))
2007-09-10 17:09:19 -04:00
(if (null? h)
'#f
(die 'find "not a proper list" ls))))))
2007-09-10 17:09:19 -04:00
(if (null? h)
'#f
(die 'find "not a proper list" ls))))])
2007-09-10 17:09:19 -04:00
(lambda (p ls)
(unless (procedure? p)
(die 'find "not a procedure" p))
2007-09-10 17:09:19 -04:00
(race ls ls ls p))))
2007-09-10 15:56:15 -04:00
(define assq
(letrec ([race
(lambda (x h t ls)
(if (pair? h)
(let ([a ($car h)] [h ($cdr h)])
(if (pair? a)
(if (eq? ($car a) x)
a
(if (pair? h)
(if (not (eq? h t))
(let ([a ($car h)])
(if (pair? a)
(if (eq? ($car a) x)
a
(race x ($cdr h) ($cdr t) ls))
(die 'assq "malformed alist"
ls)))
(die 'assq "circular list" ls))
(if (null? h)
#f
(die 'assq "not a proper list" ls))))
(die 'assq "malformed alist" ls)))
(if (null? h)
#f
(die 'assq "not a proper list" ls))))])
(lambda (x ls)
(race x ls ls ls))))
2007-09-10 15:56:15 -04:00
(define assp
(letrec ([race
(lambda (p h t ls)
(if (pair? h)
(let ([a ($car h)] [h ($cdr h)])
(if (pair? a)
(if (p ($car a))
a
(if (pair? h)
(if (not (eq? h t))
(let ([a ($car h)])
(if (pair? a)
(if (p ($car a))
a
(race p ($cdr h) ($cdr t) ls))
(die 'assp "malformed alist"
2007-09-10 15:56:15 -04:00
ls)))
(die 'assp "circular list" ls))
2007-09-10 15:56:15 -04:00
(if (null? h)
#f
(die 'assp "not a proper list" ls))))
(die 'assp "malformed alist" ls)))
2007-09-10 15:56:15 -04:00
(if (null? h)
#f
(die 'assp "not a proper list" ls))))])
2007-09-10 15:56:15 -04:00
(lambda (p ls)
(unless (procedure? p)
(die 'assp "not a procedure" p))
2007-09-10 15:56:15 -04:00
(race p ls ls ls))))
(define assv
(letrec ([race
(lambda (x h t ls)
(if (pair? h)
(let ([a ($car h)] [h ($cdr h)])
(if (pair? a)
(if (eqv? ($car a) x)
a
(if (pair? h)
(if (not (eq? h t))
(let ([a ($car h)])
(if (pair? a)
(if (eqv? ($car a) x)
a
(race x ($cdr h) ($cdr t) ls))
(die 'assv "malformed alist"
ls)))
(die 'assv "circular list" ls))
(if (null? h)
#f
(die 'assv "not a proper list" ls))))
(die 'assv "malformed alist" ls)))
(if (null? h)
#f
(die 'assv "not a proper list" ls))))])
(lambda (x ls)
(race x ls ls ls))))
(define assoc
(letrec ([race
(lambda (x h t ls)
(if (pair? h)
(let ([a ($car h)] [h ($cdr h)])
(if (pair? a)
(if (equal? ($car a) x)
a
(if (pair? h)
(if (not (eq? h t))
(let ([a ($car h)])
(if (pair? a)
(if (equal? ($car a) x)
a
(race x ($cdr h) ($cdr t) ls))
(die 'assoc "malformed alist"
ls)))
(die 'assoc "circular list" ls))
(if (null? h)
#f
(die 'assoc "not a proper list" ls))))
(die 'assoc "malformed alist" ls)))
(if (null? h)
#f
(die 'assoc "not a proper list" ls))))])
(lambda (x ls)
(race x ls ls ls))))
2007-09-10 16:33:05 -04:00
2007-09-10 17:03:40 -04:00
(module (remq remv remove remp filter)
2007-09-10 16:33:05 -04:00
(define-syntax define-remover
(syntax-rules ()
[(_ name cmp check)
(define name
(letrec ([race
(lambda (h t ls x)
(if (pair? h)
(if (cmp ($car h) x)
(let ([h ($cdr h)])
(if (pair? h)
(if (not (eq? h t))
(if (cmp ($car h) x)
(race ($cdr h) ($cdr t) ls x)
(cons ($car h) (race ($cdr h) ($cdr t) ls x)))
(die 'name "circular list" ls))
2007-09-10 16:33:05 -04:00
(if (null? h)
'()
(die 'name "not a proper list" ls))))
2007-09-10 16:33:05 -04:00
(let ([a0 ($car h)] [h ($cdr h)])
(if (pair? h)
(if (not (eq? h t))
(if (cmp ($car h) x)
(cons a0 (race ($cdr h) ($cdr t) ls x))
(cons* a0 ($car h) (race ($cdr h) ($cdr t) ls x)))
(die 'name "circular list" ls))
2007-09-10 16:33:05 -04:00
(if (null? h)
(list a0)
(die 'name "not a proper list" ls)))))
2007-09-10 16:33:05 -04:00
(if (null? h)
'()
(die 'name "not a proper list" ls))))])
2007-09-10 16:33:05 -04:00
(lambda (x ls)
(check x ls)
(race ls ls ls x))))]))
(define-remover remq eq? (lambda (x ls) #t))
(define-remover remv eqv? (lambda (x ls) #t))
(define-remover remove equal? (lambda (x ls) #t))
(define-remover remp (lambda (elt p) (p elt))
(lambda (x ls)
(unless (procedure? x)
(die 'remp "not a procedure" x))))
2007-09-10 17:03:40 -04:00
(define-remover filter (lambda (elt p) (not (p elt)))
(lambda (x ls)
(unless (procedure? x)
(die 'filter "not a procedure" x)))))
2007-09-10 16:33:05 -04:00
(module (map)
(define who 'map)
(define len
(lambda (h t n)
(if (pair? h)
(let ([h ($cdr h)])
(if (pair? h)
(if (eq? h t)
(die who "circular list")
(len ($cdr h) ($cdr t) ($fx+ n 2)))
(if (null? h)
($fxadd1 n)
(die who "improper list"))))
(if (null? h)
n
(die who "improper list")))))
(define map1
(lambda (f a d n)
(cond
[(pair? d)
(if ($fxzero? n)
(die who "list was altered!")
(cons (f a)
(map1 f ($car d) ($cdr d) ($fxsub1 n))))]
[(null? d)
(if ($fxzero? n)
(cons (f a) '())
(die who "list was altered"))]
[else (die who "list was altered")])))
(define map2
(lambda (f a1 a2 d1 d2 n)
(cond
[(pair? d1)
(cond
[(pair? d2)
(if ($fxzero? n)
(die who "list was altered")
(cons (f a1 a2)
(map2 f
($car d1) ($car d2)
($cdr d1) ($cdr d2)
($fxsub1 n))))]
[else (die who "length mismatch")])]
[(null? d1)
(cond
[(null? d2)
(if ($fxzero? n)
(cons (f a1 a2) '())
(die who "list was altered"))]
[else (die who "length mismatch")])]
[else (die who "list was altered")])))
(define cars
(lambda (ls*)
(cond
[(null? ls*) '()]
[else
(let ([a (car ls*)])
(cond
[(pair? a)
(cons (car a) (cars (cdr ls*)))]
[else
(die 'map "length mismatch")]))])))
(define cdrs
(lambda (ls*)
(cond
[(null? ls*) '()]
[else
(let ([a (car ls*)])
(cond
[(pair? a)
(cons (cdr a) (cdrs (cdr ls*)))]
[else
(die 'map "length mismatch")]))])))
(define mapm
(lambda (f ls ls* n)
(cond
[(null? ls)
(if (andmap null? ls*)
(if (fxzero? n)
'()
(die 'map "lists were mutated during operation"))
(die 'map "length mismatch"))]
[(fxzero? n)
(die 'map "lists were mutated during operation")]
[else
(cons
(apply f (car ls) (cars ls*))
(mapm f (cdr ls) (cdrs ls*) (fxsub1 n)))])))
(define map
(case-lambda
[(f ls)
(unless (procedure? f)
(die who "not a procedure" f))
(cond
[(pair? ls)
(let ([d ($cdr ls)])
(map1 f ($car ls) d (len d d 0)))]
[(null? ls) '()]
[else (die who "improper list")])]
[(f ls ls2)
(unless (procedure? f)
(die who "not a procedure" f))
(cond
[(pair? ls)
(if (pair? ls2)
(let ([d ($cdr ls)])
(map2 f ($car ls) ($car ls2) d ($cdr ls2) (len d d 0)))
(die who "length mismatch"))]
[(null? ls)
(if (null? ls2)
'()
(die who "length mismatch"))]
[else (die who "not a list")])]
[(f ls . ls*)
(unless (procedure? f)
(die who "not a procedure" f))
(cond
[(pair? ls)
(let ([n (len ls ls 0)])
(mapm f ls ls* n))]
[(null? ls)
(if (andmap null? ls*)
'()
(die who "length mismatch"))]
[else (die who "not a list" ls)])])))
(module (for-each)
(define who 'for-each)
(define len
(lambda (h t n)
(if (pair? h)
(let ([h ($cdr h)])
(if (pair? h)
(if (eq? h t)
(die who "circular list")
(len ($cdr h) ($cdr t) ($fx+ n 2)))
(if (null? h)
($fxadd1 n)
(die who "improper list"))))
(if (null? h)
n
(die who "improper list")))))
(define for-each1
(lambda (f a d n)
(cond
[(pair? d)
(if ($fxzero? n)
(die who "list was altered!")
(begin
(f a)
(for-each1 f ($car d) ($cdr d) ($fxsub1 n))))]
[(null? d)
(if ($fxzero? n)
(f a)
(die who "list was altered"))]
[else (die who "list was altered")])))
(define for-each2
(lambda (f a1 a2 d1 d2 n)
(cond
[(pair? d1)
(cond
[(pair? d2)
(if ($fxzero? n)
(die who "list was altered")
(begin
(f a1 a2)
(for-each2 f
($car d1) ($car d2)
($cdr d1) ($cdr d2)
($fxsub1 n))))]
[else (die who "length mismatch")])]
[(null? d1)
(cond
[(null? d2)
(if ($fxzero? n)
(f a1 a2)
(die who "list was altered"))]
[else (die who "length mismatch")])]
[else (die who "list was altered")])))
(define for-each
(case-lambda
[(f ls)
(unless (procedure? f)
(die who "not a procedure" f))
(cond
[(pair? ls)
(let ([d ($cdr ls)])
(for-each1 f ($car ls) d (len d d 0)))]
[(null? ls) (void)]
[else (die who "improper list")])]
[(f ls ls2)
(unless (procedure? f)
(die who "not a procedure" f))
(cond
[(pair? ls)
(if (pair? ls2)
(let ([d ($cdr ls)])
(for-each2 f
($car ls) ($car ls2) d ($cdr ls2) (len d d 0)))
(die who "length mismatch"))]
[(null? ls)
(if (null? ls2)
(void)
(die who "length mismatch"))]
[else (die who "not a list")])]
2007-09-09 23:50:55 -04:00
[(f ls . ls*)
(unless (procedure? f)
(die 'for-each "not a procedure" f))
2007-09-09 23:50:55 -04:00
(unless (list? ls)
(die 'for-each "not a list" ls))
2007-09-09 23:50:55 -04:00
(let ([n (length ls)])
(for-each
(lambda (x)
(unless (and (list? x) (= (length x) n))
(die 'for-each "not a list" x)))
2007-09-09 23:50:55 -04:00
ls*)
(let loop ([n (length ls)] [ls ls] [ls* ls*])
(cond
[($fx= n 0)
(unless (and (null? ls) (andmap null? ls*))
(die 'for-each "list modified" f))]
2007-09-09 23:50:55 -04:00
[else
(unless (and (pair? ls) (andmap pair? ls*))
(die 'for-each "list modified" f))
2007-09-09 23:50:55 -04:00
(apply f (car ls) (map car ls*))
(loop (fx- n 1) (cdr ls) (map cdr ls*))])))])))
(module (andmap)
(define who 'andmap)
(define len
(lambda (h t n)
(if (pair? h)
(let ([h ($cdr h)])
(if (pair? h)
(if (eq? h t)
(die who "circular list")
(len ($cdr h) ($cdr t) ($fx+ n 2)))
(if (null? h)
($fxadd1 n)
(die who "improper list"))))
(if (null? h)
n
(die who "improper list")))))
(define andmap1
(lambda (f a d n)
(cond
[(pair? d)
(if ($fxzero? n)
(die who "list was altered!")
(and (f a)
(andmap1 f ($car d) ($cdr d) ($fxsub1 n))))]
[(null? d)
(if ($fxzero? n)
(f a)
(die who "list was altered"))]
[else (die who "list was altered")])))
(define andmap2
(lambda (f a1 a2 d1 d2 n)
(cond
[(pair? d1)
(cond
[(pair? d2)
(if ($fxzero? n)
(die who "list was altered")
(and
(f a1 a2)
(andmap2 f
($car d1) ($car d2)
($cdr d1) ($cdr d2)
($fxsub1 n))))]
[else (die who "length mismatch")])]
[(null? d1)
(cond
[(null? d2)
(if ($fxzero? n)
(f a1 a2)
(die who "list was altered"))]
[else (die who "length mismatch")])]
[else (die who "list was altered")])))
(define andmap
(case-lambda
[(f ls)
(unless (procedure? f)
(die who "not a procedure" f))
(cond
[(pair? ls)
(let ([d ($cdr ls)])
(andmap1 f ($car ls) d (len d d 0)))]
[(null? ls) #t]
[else (die who "improper list")])]
[(f ls ls2)
(unless (procedure? f)
(die who "not a procedure" f))
(cond
[(pair? ls)
(if (pair? ls2)
(let ([d ($cdr ls)])
(andmap2 f
($car ls) ($car ls2) d ($cdr ls2) (len d d 0)))
(die who "length mismatch"))]
[(null? ls)
(if (null? ls2)
#t
(die who "length mismatch"))]
[else (die who "not a list")])]
[(f ls . ls*)
(unless (procedure? f)
(die who "not a procedure" f))
(die who "vararg not yet supported")])))
(module (ormap)
(define who 'ormap)
(define len
(lambda (h t n)
(if (pair? h)
(let ([h ($cdr h)])
(if (pair? h)
(if (eq? h t)
(die who "circular list")
(len ($cdr h) ($cdr t) ($fx+ n 2)))
(if (null? h)
($fxadd1 n)
(die who "improper list"))))
(if (null? h)
n
(die who "improper list")))))
(define ormap1
(lambda (f a d n)
(cond
[(pair? d)
(if ($fxzero? n)
(die who "list was altered!")
(or (f a)
(ormap1 f ($car d) ($cdr d) ($fxsub1 n))))]
[(null? d)
(if ($fxzero? n)
(f a)
(die who "list was altered"))]
[else (die who "list was altered")])))
(define ormap
(case-lambda
[(f ls)
(unless (procedure? f)
(die who "not a procedure" f))
(cond
[(pair? ls)
(let ([d ($cdr ls)])
(ormap1 f ($car ls) d (len d d 0)))]
[(null? ls) #f]
[else (die who "improper list")])]
[_ (die who "vararg not supported yet")])))
2007-09-10 17:28:06 -04:00
(define partition
(letrec ([race
(lambda (h t ls p)
(if (pair? h)
(let ([a0 ($car h)] [h ($cdr h)])
(if (pair? h)
(if (eq? h t)
(die 'partition "circular list" ls)
2007-09-10 17:28:06 -04:00
(let ([a1 ($car h)])
(let-values ([(a* b*) (race ($cdr h) ($cdr t) ls p)])
(if (p a0)
(if (p a1)
(values (cons* a0 a1 a*) b*)
(values (cons a0 a*) (cons a1 b*)))
(if (p a1)
(values (cons a1 a*) (cons a0 b*))
2007-09-10 17:28:06 -04:00
(values a* (cons* a0 a1 b*)))))))
(if (null? h)
(if (p a0)
(values (list a0) '())
(values '() (list a0)))
(die 'parititon "not a proper list" ls))))
2007-09-10 17:28:06 -04:00
(if (null? h)
(values '() '())
(die 'parition "not a proper list" ls))))])
2007-09-10 17:28:06 -04:00
(lambda (p ls)
(unless (procedure? p)
(die 'partition "not a procedure" p))
2007-09-10 17:28:06 -04:00
(race ls ls ls p))))
2007-10-10 03:53:42 -04:00
(define-syntax define-iterator
(syntax-rules ()
[(_ name combine)
(module (name)
(define who 'name)
(define (null*? ls)
(or (null? ls) (and (null? (car ls)) (null*? (cdr ls)))))
(define (err* ls*)
(if (null? ls*)
(die who "length mismatch")
2007-10-10 03:53:42 -04:00
(if (list? (car ls*))
(err* (cdr ls*))
(die who "not a proper list" (car ls*)))))
2007-10-10 03:53:42 -04:00
(define (cars+cdrs ls ls*)
(cond
[(null? ls) (values '() '())]
[else
(let ([a (car ls)])
(if (pair? a)
(let-values ([(cars cdrs) (cars+cdrs (cdr ls) (cdr ls*))])
(values (cons (car a) cars) (cons (cdr a) cdrs)))
(if (list? (car ls*))
(die who "length mismatch")
(die who "not a proper list" (car ls*)))))]))
2007-10-10 03:53:42 -04:00
(define (loop1 f a h t ls)
(if (pair? h)
(let ([b (car h)] [h (cdr h)])
(combine (f a)
(if (pair? h)
(if (eq? h t)
(die who "circular" ls)
2007-10-10 03:53:42 -04:00
(let ([c (car h)] [h (cdr h)])
(combine (f b) (loop1 f c h (cdr t) ls))))
(if (null? h)
(f b)
(combine (f b) (die who "not a proper list" ls))))))
2007-10-10 03:53:42 -04:00
(if (null? h)
(f a)
(combine (f a) (die who "not a proper list" ls)))))
2007-10-10 03:53:42 -04:00
(define (loopn f a a* h h* t ls ls*)
(if (pair? h)
(let-values ([(b* h*) (cars+cdrs h* ls*)])
(let ([b (car h)] [h (cdr h)])
(combine (apply f a a*)
(if (pair? h)
(if (eq? h t)
(die who "circular" ls)
2007-10-10 03:53:42 -04:00
(let-values ([(c* h*) (cars+cdrs h* ls*)])
(let ([c (car h)] [h (cdr h)])
(combine (apply f b b*)
(loopn f c c* h h* (cdr t) ls ls*)))))
(if (and (null? h) (null*? h*))
(apply f b b*)
(combine (apply f b b*) (err* (cons ls ls*))))))))
(if (and (null? h) (null*? h*))
(apply f a a*)
(combine (apply f a a*) (err* (cons ls ls*))))))
(define name
(case-lambda
[(f ls)
(unless (procedure? f)
(die who "not a procedure" f))
2007-10-10 03:53:42 -04:00
(if (pair? ls)
(loop1 f (car ls) (cdr ls) (cdr ls) ls)
(if (null? ls)
(combine)
(die who "not a list" ls)))]
2007-10-10 03:53:42 -04:00
[(f ls . ls*)
(unless (procedure? f)
(die who "not a procedure" f))
2007-10-10 03:53:42 -04:00
(if (pair? ls)
(let-values ([(cars cdrs) (cars+cdrs ls* ls*)])
(loopn f (car ls) cars (cdr ls) cdrs (cdr ls) ls ls*))
(if (and (null? ls) (null*? ls*))
(combine)
(err* ls*)))])))]))
(define-iterator for-all and)
(define-iterator exists or)
2007-10-10 06:43:25 -04:00
(module (fold-left)
(define who 'fold-left)
(define (null*? ls)
(or (null? ls) (and (null? (car ls)) (null*? (cdr ls)))))
(define (err* ls*)
(if (null? ls*)
(die who "length mismatch")
2007-10-10 06:43:25 -04:00
(if (list? (car ls*))
(err* (cdr ls*))
(die who "not a proper list" (car ls*)))))
2007-10-10 06:43:25 -04:00
(define (cars+cdrs ls ls*)
(cond
[(null? ls) (values '() '())]
[else
(let ([a (car ls)])
(if (pair? a)
(let-values ([(cars cdrs) (cars+cdrs (cdr ls) (cdr ls*))])
(values (cons (car a) cars) (cons (cdr a) cdrs)))
(if (list? (car ls*))
(die who "length mismatch")
(die who "not a proper list" (car ls*)))))]))
2007-10-10 06:43:25 -04:00
(define (loop1 f nil h t ls)
(if (pair? h)
(let ([a (car h)] [h (cdr h)])
(if (pair? h)
(if (eq? h t)
(die who "circular" ls)
2007-10-10 06:43:25 -04:00
(let ([b (car h)] [h (cdr h)] [t (cdr t)])
(loop1 f (f (f nil a) b) h t ls)))
(if (null? h)
(f nil a)
(die who "not a proper list" ls))))
2007-10-10 06:43:25 -04:00
(if (null? h)
nil
(die who "not a proper list" ls))))
2007-10-10 06:43:25 -04:00
(define (loopn f nil h h* t ls ls*)
(if (pair? h)
(let-values ([(a* h*) (cars+cdrs h* ls*)])
(let ([a (car h)] [h (cdr h)])
(if (pair? h)
(if (eq? h t)
(die who "circular" ls)
2007-10-10 06:43:25 -04:00
(let-values ([(b* h*) (cars+cdrs h* ls*)])
(let ([b (car h)] [h (cdr h)] [t (cdr t)])
(loopn f
(apply f (apply f nil a a*) b b*)
h h* t ls ls*))))
(if (and (null? h) (null*? h*))
(apply f nil a a*)
(err* (cons ls ls*))))))
(if (and (null? h) (null*? h*))
nil
(err* (cons ls ls*)))))
(define fold-left
(case-lambda
[(f nil ls)
(unless (procedure? f)
(die who "not a procedure" f))
2007-10-10 06:43:25 -04:00
(loop1 f nil ls ls ls)]
[(f nil ls . ls*)
(unless (procedure? f)
(die who "not a procedure" f))
2007-10-10 06:43:25 -04:00
(loopn f nil ls ls* ls ls ls*)])))
(module (fold-right)
(define who 'fold-right)
(define (null*? ls)
(or (null? ls) (and (null? (car ls)) (null*? (cdr ls)))))
(define (err* ls*)
(if (null? ls*)
(die who "length mismatch")
2007-10-10 06:43:25 -04:00
(if (list? (car ls*))
(err* (cdr ls*))
(die who "not a proper list" (car ls*)))))
2007-10-10 06:43:25 -04:00
(define (cars+cdrs ls ls*)
(cond
[(null? ls) (values '() '())]
[else
(let ([a (car ls)])
(if (pair? a)
(let-values ([(cars cdrs) (cars+cdrs (cdr ls) (cdr ls*))])
(values (cons (car a) cars) (cons (cdr a) cdrs)))
(if (list? (car ls*))
(die who "length mismatch")
(die who "not a proper list" (car ls*)))))]))
2007-10-10 06:43:25 -04:00
(define (loop1 f nil h t ls)
(if (pair? h)
(let ([a (car h)] [h (cdr h)])
(if (pair? h)
(if (eq? h t)
(die who "circular" ls)
2007-10-10 06:43:25 -04:00
(let ([b (car h)] [h (cdr h)] [t (cdr t)])
(f a (f b (loop1 f nil h t ls)))))
(if (null? h)
(f a nil)
(die who "not a proper list" ls))))
2007-10-10 06:43:25 -04:00
(if (null? h)
nil
(die who "not a proper list" ls))))
2007-10-10 06:43:25 -04:00
(define (loopn f nil h h* t ls ls*)
(if (pair? h)
(let-values ([(a* h*) (cars+cdrs h* ls*)])
(let ([a (car h)] [h (cdr h)])
(if (pair? h)
(if (eq? h t)
(die who "circular" ls)
2007-10-10 06:43:25 -04:00
(let-values ([(b* h*) (cars+cdrs h* ls*)])
(let ([b (car h)] [h (cdr h)] [t (cdr t)])
(apply f a
(append a*
(list
(apply f
b (append b*
(list (loopn f nil h h* t ls ls*))))))))))
(if (and (null? h) (null*? h*))
(apply f a (append a* (list nil)))
(err* (cons ls ls*))))))
(if (and (null? h) (null*? h*))
nil
(err* (cons ls ls*)))))
(define fold-right
(case-lambda
[(f nil ls)
(unless (procedure? f)
(die who "not a procedure" f))
2007-10-10 06:43:25 -04:00
(loop1 f nil ls ls ls)]
[(f nil ls . ls*)
(unless (procedure? f)
(die who "not a procedure" f))
2007-10-10 06:43:25 -04:00
(loopn f nil ls ls* ls ls ls*)]
)))
)