Introduction to PSF


The names of functions, atoms, and processes, can be overloaded. This means that the same name can be used to denote different functions, atoms, or processes.

Overloaded functions must have unique input types, consisting of the types for the arguments.

The same also applies for atoms and processes, which at the same time must be distinguishable from each other.