diff --git a/paper/eolang-paper.tex b/paper/eolang-paper.tex index ba9d179fa4..d85e86d481 100644 --- a/paper/eolang-paper.tex +++ b/paper/eolang-paper.tex @@ -145,9 +145,9 @@ \section{Calculus} \label{sec:calculus} \input{sections/calculus} -\section{Semantics} -\label{sec:semantics} -\input{sections/semantics} +% \section{Semantics} +% \label{sec:semantics} +% \input{sections/semantics} \section{Pragmatics} \label{sec:pragmatics} diff --git a/paper/sections/features.tex b/paper/sections/features.tex index 35e6fb9293..458426a14d 100644 --- a/paper/sections/features.tex +++ b/paper/sections/features.tex @@ -55,7 +55,7 @@ Unlike Java or C++, \eolang{} doesn't allow programmers to alter the process of object construction or suggest alternative paths of object instantiation via additional constructions. -Instead, all arguments are assigned to attributes ``as is'' and can't be modified. +Instead, all arguments are attached to attributes ``as is'' and can't be modified. \feature{no-static}{No Static Entities} % @@ -114,8 +114,8 @@ \feature{no-global}{No Global Scope} % -All objects in \eolang{} are assigned to some attributes. Objects constructed -in the global scope of visibility are assigned to attributes of the +All objects in \eolang{} are attached to some attributes. Objects constructed +in the global scope of visibility are attached to attributes of the \(\Phi\) object of the highest level of abstraction. Newspeak and Eiffel are two programming languages that does not have global scope as well. @@ -130,7 +130,7 @@ always expose the same functionality, the former may represent mutable entities, being known as read-only references~\citep{birka2004practical}. For example, an attribute \ff{r} may have an object \ff{random.pseudo} -assigned to it, which is a random number generator. \eolang{} won't allow +attached to it, which is a random number generator. \eolang{} won't allow assigning another object to the attribute \ff{r}. However, every time the attribute is dataized, its value will be different. %