Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин

Фрагмент
Пояснение
For Approx := 1.0; Sign := 1.0; Denom := 1.0; i := 1 while i <= Cycles do Sign := -Sign; Denom := Denom + 2.0; Approx := Approx + Sign / Denom; i := i + 1 returns Approx * 4.0 end for	% инициирование цикла % предусловие завершения цикла % однократные % присваивания % образуют % тело цикла % выбор и вычисление результата цикла

Пример 57. Вычисление числа π (пи)

Фрагмент	Пояснение
for i in [1..Cycles/2] do val := 1.0/real(4*i-3) – 1.0/real(4*i-1); returns sum( val ) end for * 4.0	% пространство параллельно исполнимых итераций % тело цикла, для каждого i исполняется независимо % выбор и свертка результатов всех итераций цикла % вычисление результата выражения

Пример 58. Это выражение также вычисляет число π (пи). Это выражение вычисляет сумму всех вычисленных значений val и умножает результат на 4.0

Фрагмент	Пояснение
for i in [1..2] dot j in [3..4] do returns product (i+j) end for	% для пар индексов [1,3] и [2,4] % произведение сумм % = 24

Пример 59. В for-выражениях операции dot и cross могут порождать пары индексов при формировании пространства итерирования

Фрагмент	Пояснение
for i in [1..2] cross j in [3..4] do	% для пар [1,3], [1,4], [2,3] и [2,4]

returns product (i+j) end for

% произведение сумм % = 600

Пример 60. В for-выражениях операции dot и cross могут порождать пары индексов при формировании пространства итерирования

Фрагмент	Пояснение
for I := 1 while I < S do K := I; I := old I + 2; J := K + I; returns product(I+J) end for	% значение из предыдущей итерации

Пример 61. Итеративное for-выражение с обменом данными между итерациями

Как это свойственно языкам функционального программирования, SISAL язык математически правильный – функции отображают аргументы в результаты без побочных эффектов, и программа строится как выражение, вырабатывающее значение. Наиболее интересна форма параллельного цикла. Она выделяет три части: for - генератор пространства итераций, do - тело цикла и returns - формирователь возвращаемых значений.

SISAL-программа представляет собой набор функций, допускающих частичное применение, т. е. вычисление при неполном наборе аргументов. В таком случае по исходному определению функции строятся его проекции, зависящие от остальных аргументов, что позволяет оперативно использовать эффекты смешанных вычислений и определять специальные оптимизации программ, связанные с разнообразием используемых конструкций и реализационных вариантов параллельных вычислений.