部分適用(実装中)

partial_application.scm

(define plus2
  (lambda (a . b)
    (if (null? b)
      (lambda (b) (+ a b))
      (apply (plus2 a) b))))

(define (plus3 a . bc)
  (if (null? bc)
    (lambda (b . c)
      (if (null? c)
        (lambda (c) (+ a b c))
        (apply (plus3 a b) c)))
    (apply (plus3 a) bc)))

;(lambdap-help funfun (a b) (+ a b))

(define (funfun a . hoge)
  (if (null? hoge)
    (lambda (b) (+ a b))
    (apply (funfun a) hoge)))

(define funfun
  (lambda hoge
    (if (null? hoge)
      (lambda (a) (print a))
      (apply (funfun) hoge))))

;(lambdap+ funfun (a) (print a))

(define-syntax lambdap+
  (syntax-rules ()
    [(_ name (x) body ...)
     (lambda (x) body ...)]
    [(_ name (x y ...) body ...)
     (lambda (x . hoge)
       (if (null? hoge)
         (lambdap+ name (y ...) body ...)
         (apply (name x) hoge)))]))

(define-syntax lambdap
  (syntax-rules ()
    [(_ bind body ...)
     ((lambda (le) 
        ((lambda (f) (f f)) 
         (lambda (f) 
           (le (lambda (x) ((f f) x))))))
      (lambda (fuga)
        (lambdap+ fuga bind body ...)))]))

gensymとかでアブラカタブラしないといけない