4.2 Проект



Проектом называется целевое утверждение программы — некоторый конструктор процесса:

определение-проекта =
project ":" конструктор_процесса

В составе проекта могут использоваться переменные. Область действия таких переменных ограничена пределами проекта. В определении проекта не допускается однократное использование переменных, отличных от «_».

В качестве обозначения экземпляра класса, соответствующего проекту, в определении проекта допускается использование предопределённого атрибута self.

Проект доказывается по правилам исполнения конструкторов процессов.

Пример.
Правильно построенный проект,

project:(('P',x=[1,7,9|W],y=W,p=self))



Содержание