Re: syntax-rules: define-overload (match-lambda*)

• vallog: syntax-rules: define-overload （clojure の defn みたいなもの）

なるほど match-lambda* ですか！
実は match, match-lambda 辺りはよくわかってなかったので良い機会です。

• Twitter / SaitoAtsushi: @valvallow match-lambda* を ...
• Twitter / SaitoAtsushi: @valvallow (define-syntax ...

書いてみました。以下コード。

	(use util.match)
	;; expand image
	(define fact
	(match-lambda*
	((n)
	(fact n 1))
	((n acc)
	(if (zero? n)
	acc
	(fact (- n 1)(* n acc))))))
	(fact 10)
	;; 3628800
	;; macro
	(define-syntax define-overload
	(syntax-rules ()
	((_ name ((arg ...) body ...) ...)
	(define name
	(match-lambda*
	((arg ...) body ...) ...)))))
	(define-overload fact
	((n)
	(fact n 1))
	((n acc)
	(if (zero? n)
	acc
	(fact (- n 1)(* n acc)))))
	(fact 5)
	;; 120
	(macroexpand '(define-overload fact
	((n)
	(fact n 1))
	((n acc)
	(if (zero? n)
	acc
	(fact (- n 1)(* n acc))))))
	;; (#<identifier user#define> fact
	;; (#<identifier user#match-lambda*>
	;; ((n)
	;; (fact n 1))
	;; ((n acc)
	;; (if (zero? n)
	;; acc
	;; (fact (- n 1) (* n acc))))))

view raw define-overload2.scm hosted with ❤ by GitHub

• (lambda (expr) (match expr clause …))

というかもうマクロにする必要もなさそうですね。。match-lambda* 使えば良いですね・・・。

追記

case-lambda でよかったのかもしれない。。

• Gauche ユーザリファレンス: 4.3 手続きを作る