#2903: minor

objectionary · Mar 1, 2024 · 70f5a6b · 70f5a6b
1 parent d2ceeff
commit 70f5a6b
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 8 deletions.
diff --git a/paper/eolang-paper.tex b/paper/eolang-paper.tex
@@ -149,13 +149,13 @@ \section{Calculus}
 % \label{sec:semantics}
 % \input{sections/semantics}
 
-\section{Pragmatics}
-\label{sec:pragmatics}
-\input{sections/pragmatics}
+% \section{Pragmatics}
+% \label{sec:pragmatics}
+% \input{sections/pragmatics}
 
-\section{XMIR}
-\label{sec:xmir}
-\input{sections/xmir}
+% \section{XMIR}
+% \label{sec:xmir}
+% \input{sections/xmir}
 
 \section{Key Features}
 \label{sec:features}

diff --git a/paper/sections/four.tex b/paper/sections/four.tex
@@ -1,6 +1,6 @@
 In order to answer the question, whether
 the proposed object calculus is sufficient
-to express any object model, we are going to demonstrate
+to express any object model, in this Section we demonstrate
 how four fundamental principles of OOP are realized by \phic{}:
 encapsulation, abstraction, inheritance, and polymorphism.
 
@@ -17,10 +17,14 @@ \subsection{Abstraction}
 `knife' used to carve our domain into discrete objects.''
 
 In \phic{} objects are the elements the problem domain
-is decomposed into, which goes along the claim of~\citet[p.24]{west2004object}:
+is decomposed into.
+This goes along the claim of~\citet[p.24]{west2004object}:
 ``objects, as abstractions of entities in the real world,
 represent a particularly dense and cohesive clustering of information.''
 
+% Mention that dynamic dispatch, as the main property of abstraction,
+% exists in EO.
+
 \subsection{Inheritance}
 
 Inheritance, according to~\citet{grady2007object}, is