>>759
Lispでは、関数というよりソースコードそのものがS式(リスト)として実行時に作れ、
evalやcompileができるという意味で動的？
まあ、>>758がおっしゃってるのは型が動的か静的かということだと思うけれど。

ちょっと方向性が違うかもしれないが、
http://www.metaocaml.org/
言ってみればLispのquasi-quote。
コンパイル時計算というよりは、動的コード生成の範疇のものだけど、
>>757を聞く限り部分計算っぽいことをしたいようですので。

Haskell(GHC)なら、Template Haskellっていうのがあるが。