Давно хотел это обсудить:

> -- Цитата:
> гарантии управления памятью основаны на запрете динамического выделения после фазы инициализацииТолько в алгоритмически полном языке невозможно запретить динамическое выделение памяти, потому что запрет конкретных конструкций не означает запрета средств, которые позволяют эти конструкции воспроизвести. То есть, первым пунктом надо запрещать полноту, что не так-то просто. Но и этого недостаточно.