История изменений

А если не является, то как объявление и инициализация указателя на функцию учитывает атрибут nomalloc?

Ваще я изначально отвечал на вопрос, как это встроить, чтобы это работало. Если сделать некоторые предположения о этом нашем ЯП, то очевидные такие точки встраивания - макрос, который срабатывает при определении функции или указщателя на функцию — это та точка, через которую мы запускаем щупальца в систему типов, т.е. сможем в сорцах программы сказать «а вот тут malloc низя».

Как это дальше будет работать - да по всякому может, зависит от особенностей метаязыка. Например, если у нас изначально в макросистеме есть символ, который вызывается для каждого узла AST для проверки корректности типа и автоподстановки типа если необходимо. Ну значит, переопределяем его, и делаем проверки в нём.

А если не является, то как объявление и инициализация указателя на функцию учитывает атрибут nomalloc?

Ваще я изначально отвечал на вопрос, как это встроить, чтобы это работало. Если сделать некоторые предположения о этом нашем ЯП, то очевидные такие точки встраивания - макрос, который срабатывает при определении функции или указщателя на функцию — это та точка, через которую мы запускаем щупальца в систему типов, т.е. сможем в сворцах программы сказать «а вот тут malloc низя».

Как это дальше будет работать - да по всякому может, зависит от особенностей метаязыка. Например, если у нас изначально в макросистеме есть символ, который вызывается для каждого узла AST для проверки корректности типа и автоподстановки типа если необходимо. Ну значит, переопределяем его, и делаем проверки в нём.