Abstract:In this paper are briefly outlined the motivations, mathematical ideas in use, pre-formalization and assumptions, object-as-functor construction, `soft' types and concept constructions, case study for concepts based on variable domains, extracting a computational background, and examples of evaluations.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to reorganize and clarify the concept of "object" in object - oriented computing, in order to overcome the misunderstandings of this concept and the accumulation of insignificant features in existing research. Specifically, the author aims to establish a parallel relationship between computing theory and object - oriented concepts and achieve this goal by introducing an object evaluator.
### 1. **Problem Background**
With the development of object - oriented programming, the concept of "object" has become increasingly complex, and there have been differences in its definitions and understandings in different studies. This has led to the ambiguity and over - complication of the object concept. Therefore, a method is needed to redefine and clarify the essence of the object for better understanding and application of object - oriented ideas.
### 2. **Main Motivation of the Paper**
The main motivation of the paper is to construct an intermediate computing framework by embedding objects into the host computing environment and using tools such as category theory, logic, and applicative computations. This framework can help extract the computing background of objects and provide a clearer way to handle the dynamic behavior of objects.
### 3. **Specific Solutions**
To achieve the above goals, the paper proposes the following key points:
- **Object - as - functor**: By regarding an object as a mapping from one category to another, the behavior and properties of the object can be better understood.
- **Soft types and concept constructions**: Introduce "soft types" to increase flexibility and construct an object model based on the concept of variable domains.
- **Case study**: Through the study of specific concepts, show how to construct an object model based on variable domains and extract the computing background.
- **Object evaluator**: Propose the concept of an object evaluator, which can decompose an object into a substitution part and an access function part, thereby simplifying the extraction of results.
### 4. **Conclusion**
Through these methods, the paper attempts to provide a more rigorous and clear theoretical basis for object - oriented computing. In particular, by combining computing theory and category theory methods, the concept of the object is redefined to make it more suitable for actual computing requirements.
### Formula Summary
The formulas involved in the paper mainly focus on the explanations of category theory and logical expressions. For example:
- **Functor properties**:
\[
F(1_I)=1_{F(I)}, \quad F(f \circ g)=F(g) \circ F(f)
\]
where \(f: B \to I\) and \(g: C \to B\) are morphisms in category \(C\).
- **Evaluation mapping**:
\[
\parallel x = y\parallel_A \Leftrightarrow \parallel x\parallel_A=\parallel y\parallel_A
\]
These formulas are used to formally describe the behavior and properties of objects, ensuring the rigor and consistency of the theory.
### Summary
The core purpose of this paper is to redefine and clarify the concept of "object" in object - oriented computing by introducing new theoretical frameworks and tools, in order to overcome the ambiguity and complexity in existing research.