function - 関数名としてフォームを定義しますか?

Question

このコードがSchemeで何を意味するのか知りたい：

(define ((K x) y) x)

(define (((S x) y) z)
  ((x z) (y z)))

ファイル全体はこちらです。

これは合法的なスキームですか？(K x) はパラメーター化された関数で、Java のジェネリック関数のようなものですか? MIT スキーム リファレンスを調べましたが、この種の定義については何も言及されていないようです。

Answer 1

これはCurried Function Shorthandと呼ばれ、ここで説明されています。