入.scm

;; -*- coding:utf-8 -*-
(define-syntax 入 lambda)

(define-syntax 亼
  (er-macro-transformer
   (入 [f r c]
       (quasirename r
         (入 (,'_) ,@(cdr f))))))

#|
((亼 (+ _ 1)) 2)
; => 3
|#

(define-syntax 仺
  (er-macro-transformer
   (入 [f r c]
       (quasirename r
         (入 (,'E) ,@(cdr f))))))

#|
(define f (仺 (亼 (* _ E))))

((f 2) 3)
; => 6
|#

(define-syntax 会
  (er-macro-transformer
   (入 [f r c]
       (quasirename r
         (入 (,'ニ ,'ム) ,@(cdr f))))))

#|
((会 (* ニ ム)) 2 3)
; => 6
|#

(define-syntax 侌
  (er-macro-transformer
   (入 [f r c]
       (quasirename r
         (入 (,'ラ ,'ニ ,'ム) ,@(cdr f))))))

#|
((侌 (* ラ ニ ム)) 4 5 6)
; => 120
|#