История изменений
Исправление wandrien, (текущая версия) :
У каждого языка своя система типов.
Но в любом случае, в компилируемом языке основное предназначение функции как типа - это проверка совместимости типов при вызове функции.
А что функция может быть скомпилирована в машинный код, и адрес её начала может быть представлен как указатель, — это уже более узкое явление.
Например, функция может существовать только на этапе компиляции, и в принципе не может быть представлена в машкодах. (В Qod такие функции это sizeof(), countof() и т.п. Кстати чтоб формально описать тип аргумента у этих функций, текущей системы типов языка не достаточно, необходимо её совершенствование.)
Исходная версия wandrien, :
У каждого языка своя система типов.
Но в любом случае, в компилируемом языке основное предназначение функции как типа - это проверка совместимости типов при вызове функции.
А что функция может быть скомпилирована в машинный код, и адрес на её начала может быть представлен как указатель, — это уже более узкое явление.
Например, функция может существовать только на этапе компиляции, и в принципе не может быть представлена в машкодах. (В Qod такие функции это sizeof(), countof() и т.п. Кстати чтоб формально описать тип аргумента у этих функций, текущей системы типов языка не достаточно, необходимо её совершенствование.)