Cтраница 1
Формальные-параметры могут быть любого вида, и процедуры могут вырабатывать значения любого вида. Мы еще не подготовлены к примерам, требующим более усиленного внимания, поэтому ограничимся двумя простыми примерами. Оба они появятся еще раз в 0.8.2, так как их эффективность можно улучшить. [1]
В данном примере формальные-параметры а и & были сделаны обладающими вещественными значениями, и поэтому было бы незаконным пытаться присваивать им значения при исполнении подпрограммы. В Алголе 60 это было бы известно как вызов по значению. [2]
В данном примере формальные-параметры а ж Ъ были сделаны обладающими вещественными значениями, и поэтому было бы незаконным пытаться присваивать им значения при исполнении подпрограммы. В Алголе 60 это было бы известно как вызов по значению. [3]
Подпрограмма может как иметь, так и не иметь формальные-параметры и может как вырабатывать, так и не вырабатывать значение некоторого вида. [4]
В этом изображении-подпрограммы ХХХХХ есть некоторое предложение, определяющее действие, которое использует формальные-параметры форм. Предшествующий ему тип: показывает, что предложение должно вырабатывать значение вида тип. [5]
В этом изображешш-подпрограммы ХХХХХ есть некоторое предложение, определяющее действие, которое использует формальные-параметры форм. [6]
В этом изображении-подпрограммы ХХХХХ есть некоторое предложение, определяющее действие, которое использует формальные-параметры форм. Предшествующий ему тип: показывает, что предложение должно вырабатывать значение вида тип. [7]
В этом изображения-подпрограммы ХХХХХ есть некоторое предложение, определяющее действие, которое использует формальные-параметры форм. [8]
Обратите внимание, как начало и конец служат пограничными столбами нового блока, так что формальные-параметры а и &, описанные теперь как обладающие вещественными значениями в продолжение этого вызова, нельзя спутать ни с какими вхождениями а и Ъ в любых других местах. [9]
Обратите внимание, как начало и конец служат пограничными столбами нового блока, так что формальные-параметры а и Ь, описанные теперь как обладающие вещественными значениями в продолжение этого вызова, нельзя спутать ни с какими вхождениями а и Ь в любых других местах. [10]
Понятием фундаментальной важности в программировании является подпрограмма - основа, исполнение которой может быть запущено из различных мест программы, при различных обстоятельствах и в различных воплощениях, если она исполняется рекурсивно. Кроме того, в подпрограмме могут быть предусмотрены формальные-параметры, которые при запуске подпрограммы заменяются фактическими-параметрами. [11]
При вызове происходит запуск этого замкнутого-предложения. В подпрограмме можно использовать формальные-параметры; в этом случае фактические-параметры подставляются лишь при запуске подпрограммы. Не без оснований ЛЧ описания-тождества называют формаль-ным-параметром, а его ПЧ - фактическим-параметром. В самом деле, описание-тождества очень точно характеризует то, что происходит, когда подставляется фактический-параметр, будь то при вызове процедуры или при выполнении операции в формуле. [12]