Но я и говорю, что в алгоритмически полном языке нельзя ничего запретить статически на уровне компиляции. Например, для того, чтобы воспроизвести динамическую память достаточно(но даже не необходимо)статического массива и даже не обязательно это осознавать.