Skip to content

Commit

Permalink
#2903: semantics removed
Browse files Browse the repository at this point in the history
  • Loading branch information
yegor256 committed Feb 29, 2024
1 parent 383489f commit d2ceeff
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 7 deletions.
6 changes: 3 additions & 3 deletions paper/eolang-paper.tex
Expand Up @@ -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}
Expand Down
8 changes: 4 additions & 4 deletions paper/sections/features.tex
Expand Up @@ -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}
%
Expand Down Expand Up @@ -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.

Expand All @@ -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.
%
Expand Down

0 comments on commit d2ceeff

Please sign in to comment.