1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
;;; srfi-26.scm --- specializing parameters without currying.
;; Copyright (C) 2002, 2006, 2010 Free Software Foundation, Inc.
;;
;; This library is free software; you can redistribute it and/or
;; modify it under the terms of the GNU Lesser General Public
;; License as published by the Free Software Foundation; either
;; version 3 of the License, or (at your option) any later version.
;;
;; This library 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
;; Lesser General Public License for more details.
;;
;; You should have received a copy of the GNU Lesser General Public
;; License along with this library; if not, write to the Free Software
;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
(define-module (srfi srfi-26)
:export (cut cute))
(cond-expand-provide (current-module) '(srfi-26))
(define-syntax cut
(lambda (stx)
(syntax-case stx ()
((cut slot0 slot1+ ...)
(let loop ((slots #'(slot0 slot1+ ...))
(params '())
(args '()))
(if (null? slots)
#`(lambda #,(reverse params) #,(reverse args))
(let ((s (car slots))
(rest (cdr slots)))
(with-syntax (((var) (generate-temporaries '(var))))
(syntax-case s (<> <...>)
(<>
(loop rest (cons #'var params) (cons #'var args)))
(<...>
(if (pair? rest)
(error "<...> not on the end of cut expression"))
#`(lambda #,(append (reverse params) #'var)
(apply #,@(reverse (cons #'var args)))))
(else
(loop rest params (cons s args))))))))))))
(define-syntax cute
(lambda (stx)
(syntax-case stx ()
((cute slots ...)
(let loop ((slots #'(slots ...))
(bindings '())
(arguments '()))
(define (process-hole)
(loop (cdr slots) bindings (cons (car slots) arguments)))
(if (null? slots)
#`(let #,bindings
(cut #,@(reverse arguments)))
(syntax-case (car slots) (<> <...>)
(<> (process-hole))
(<...> (process-hole))
(expr
(with-syntax (((t) (generate-temporaries '(t))))
(loop (cdr slots)
(cons #'(t expr) bindings)
(cons #'t arguments)))))))))))
|
