From: David Van Horn <dvanh...@cs.uvm.edu>
Newsgroups: comp.lang.python,comp.lang.scheme,comp.lang.java.programmer
Subject: Re: tree functions daily exercise: Table
Date: Tue, 21 Jun 2005 10:27:14 -0400
Organization: EM Computer Facility, The University of Vermont

Xah Lee wrote:
β”‚ here's the Python spec for the Table function:
...
β”‚ References:
β”‚ 
β”‚ β€’ for a context of this message, see: http://xahlee.org/tree/tree.html

Here is a Scheme implementation of Table.  As noted on your web page and the 
Mathematica documentation, the first argument of Table "evaluates in a 
non-standard way".  Thus we use Scheme macros to control the evaluation of 
this expression.  The first three clauses in this syntax definition take care 
to fill in the default values for i, imin, and di when they are not provided. 
  The fourth clause iterates over one variable constructing a list.  Notice 
this is done tail-recursively.  The last clause handles the multiple variable 
case by rewriting the term into a simpler form.

(define-syntax table
   (syntax-rules ()
     ((table exp (imax))
      (table exp (i 1 imax 1)))

     ((table exp (i imax))
      (table exp (i 1 imax 1)))

     ((table exp (i imin imax))
      (table exp (i imin imax 1)))

     ((table exp (i imin imax di))
      (let loop ((n imin) (accum '()))
        (if (< imax n)
            (reverse accum)
            (loop (+ n di) (cons ((lambda (i) exp) n) accum)))))

     ((table exp i j ...)
      (table (table exp j ...) i))))


;; Examples

(table #t (0))               ;; β‡’ '()
(table #t (5))               ;; β‡’ '(#t #t #t #t #t)
(table i (i 5))              ;; β‡’ '(1 2 3 4 5)
(table i (i 2 5))            ;; β‡’ '(2 3 4 5)
(table i (i 2 5 2))          ;; β‡’ '(2 4)
(table i (i 2 6 2))          ;; β‡’ '(2 4 6)
(table (add1 i) (i 2 6 2))   ;; β‡’ '(3 5 7)
(table (- i j) (i 2) (j 2))  ;; β‡’ '((0 -1) (1 0))

(table (list i j k) (i 2) (j 100 200 100) (k 5 6))
;; β‡’
'((((1 100 5) (1 100 6)) ((1 200 5) (1 200 6)))
   (((2 100 5) (2 100 6)) ((2 200 5) (2 200 6))))
blog comments powered by Disqus
2005-06