Skip to content

Commit

Permalink
data return explained
Browse files Browse the repository at this point in the history
  • Loading branch information
yegor256 committed Jul 8, 2021
1 parent b84234b commit 594e7ae
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions paper/semantics.tex
Original file line number Diff line number Diff line change
Expand Up @@ -512,6 +512,11 @@ \subsection{Dataization}
function as its parameter, is used in $M$ when it is necessary
to use $\mathbb{R}$ in order to find some object.

If a function returns data, which doesn't have a locator, a new vertice
$v_i$ is created implicitly with the locator $\Phi.v_i$, and
a single attribute $\delta$ connected to the data returned, where
$i$ is the next available index in the graph.

For example, $\mathbb{R}(\Phi.\ff{c}.\ff{center}.\ff{y},
\delta, \emptyset)$ being executed on the graph presented at the
Fig.~\ref{fig:is} would return the vertice $d_{21}$, which is $+9$.
Expand Down

0 comments on commit 594e7ae

Please sign in to comment.