srfi/srfi-17.scm

   1 ;;;; srfi-17.scm --- SRFI-17 procedures for Guile
   2
   3 ;;; Copyright (C) 2001 Free Software Foundation, Inc.
   4 ;;; Originally by Matthias Koeppe <mkoeppe@mail.math.uni-magdeburg.de>
   5 ;;;
   6 ;;; This program is free software; you can redistribute it and/or
   7 ;;; modify it under the terms of the GNU General Public License as
   8 ;;; published by the Free Software Foundation; either version 2, or
   9 ;;; (at your option) any later version.
  10 ;;;
  11 ;;; This program is distributed in the hope that it will be useful,
  12 ;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 ;;; General Public License for more details.
  15 ;;;
  16 ;;; You should have received a copy of the GNU General Public License
  17 ;;; along with this software; see the file COPYING.  If not, write to
  18 ;;; the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
  19 ;;; Boston, MA 02111-1307 USA
  20
  21 ;;; Commentary:
  22
  23 ;; This is an implementation of SRFI-17: Generalized set!
  24 ;;
  25 ;; It exports the Guile procedure `make-procedure-with-setter' under
  26 ;; the SRFI name `getter-with-setter' and exports the standard
  27 ;; procedures `car', `cdr', ..., `cdddr', `string-ref' and
  28 ;; `vector-ref' as procedures with setters, as required by the SRFI.
  29 ;;
  30 ;; SRFI-17 was heavily criticized during its discussion period but it
  31 ;; was finalized anyway.  One issue was its concept of globally
  32 ;; associating setter "properties" with (procedure) values, which is
  33 ;; non-Schemy.  For this reason, this implementation chooses not to
  34 ;; provide a way to set the setter of a procedure.  In fact, (set!
  35 ;; (setter PROC) SETTER) signals an error.  The only way to attach a
  36 ;; setter to a procedure is to create a new object (a "procedure with
  37 ;; setter") via the `getter-with-setter' procedure. This procedure is
  38 ;; also specified in the SRFI.  Using it avoids the described
  39 ;; problems.
  40
  41 ;;; Code:
  42
  43 (define-module (srfi srfi-17)
  44   :export (getter-with-setter
  45            setter
  46            ;; redefined standard procedures
  47            car cdr caar cadr cdar cddr caaar caadr cadar caddr cdaar
  48            cdadr cddar cdddr caaaar caaadr caadar caaddr cadaar cadadr
  49            caddar cadddr cdaaar cdaadr cdadar cdaddr cddaar cddadr
  50            cdddar cddddr string-ref vector-ref))
  51
  52 (cond-expand-provide (current-module) '(srfi-17))
  53
  54 ;;; Procedures
  55
  56 (define getter-with-setter make-procedure-with-setter)
  57
  58 (define setter
  59   (getter-with-setter
  60    setter
  61    (lambda args
  62      (error "Setting setters is not supported for a good reason."))))
  63
  64 ;;; Redefine R5RS procedures to appropriate procedures with setters
  65
  66 (define (compose-setter setter location)
  67   (lambda (obj value)
  68     (setter (location obj) value)))
  69
  70 (define car (getter-with-setter car set-car!))
  71 (define cdr (getter-with-setter cdr set-cdr!))
  72 (define caar (getter-with-setter caar (compose-setter set-car! car)))
  73 (define cadr (getter-with-setter cadr (compose-setter set-car! cdr)))
  74 (define cdar (getter-with-setter cdar (compose-setter set-cdr! car)))
  75 (define cddr (getter-with-setter cddr (compose-setter set-cdr! cdr)))
  76 (define caaar (getter-with-setter caaar (compose-setter set-car! caar)))
  77 (define caadr (getter-with-setter caadr (compose-setter set-car! cadr)))
  78 (define cadar (getter-with-setter cadar (compose-setter set-car! cdar)))
  79 (define caddr (getter-with-setter caddr (compose-setter set-car! cddr)))
  80 (define cdaar (getter-with-setter cdaar (compose-setter set-cdr! caar)))
  81 (define cdadr (getter-with-setter cdadr (compose-setter set-cdr! cadr)))
  82 (define cddar (getter-with-setter cddar (compose-setter set-cdr! cdar)))
  83 (define cdddr (getter-with-setter cdddr (compose-setter set-cdr! cddr)))
  84 (define caaaar (getter-with-setter caaaar (compose-setter set-car! caaar)))
  85 (define caaadr (getter-with-setter caaadr (compose-setter set-car! caadr)))
  86 (define caadar (getter-with-setter caadar (compose-setter set-car! cadar)))
  87 (define caaddr (getter-with-setter caaddr (compose-setter set-car! caddr)))
  88 (define cadaar (getter-with-setter cadaar (compose-setter set-car! cdaar)))
  89 (define cadadr (getter-with-setter cadadr (compose-setter set-car! cdadr)))
  90 (define caddar (getter-with-setter caddar (compose-setter set-car! cddar)))
  91 (define cadddr (getter-with-setter cadddr (compose-setter set-car! cdddr)))
  92 (define cdaaar (getter-with-setter cdaaar (compose-setter set-cdr! caaar)))
  93 (define cdaadr (getter-with-setter cdaadr (compose-setter set-cdr! caadr)))
  94 (define cdadar (getter-with-setter cdadar (compose-setter set-cdr! cadar)))
  95 (define cdaddr (getter-with-setter cdaddr (compose-setter set-cdr! caddr)))
  96 (define cddaar (getter-with-setter cddaar (compose-setter set-cdr! cdaar)))
  97 (define cddadr (getter-with-setter cddadr (compose-setter set-cdr! cdadr)))
  98 (define cdddar (getter-with-setter cdddar (compose-setter set-cdr! cddar)))
  99 (define cddddr (getter-with-setter cddddr (compose-setter set-cdr! cdddr)))
 100 (define string-ref (getter-with-setter string-ref string-set!))
 101 (define vector-ref (getter-with-setter vector-ref vector-set!))