ん?
NとMがコンパイル時に決定していないという意味だろ
それを動的というのか遅延評価というのかは知らんが