だから型付けで分類してるんじゃないんだって(>>361のスレが動的型スレ)
つーても、俺にも動的言語の正確な定義は分からんが、
このスレじゃメタプログラミングのやり易い言語を動的言語と呼ぶらしいよ

http://ja.wikipedia.org/wiki/%E5%8B%95%E7%9A%84%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E
この説明では高階関数も動的言語の特徴に入ってる