PL2 - Approach 0.01. Units

This article is for those who are looking for a new approach to programming,
and understands the global nature of the misconceptions of modern programming,
tied to the architecture of existing computing systems, and not to the simulated world.

The report suggests the main classes that are able to describe the properties used in the high school course.
The basics of the approach are described in the articles listed in habrahabr.ru/post/176249

So, the ideology of the structure of classes in namespaces:
')

Maths:

root_ns.science.mathematics.Enumerator_class
natural enumerator
from 0 to the upper limit of the type used or to the specified value
dimensionless quantity
inheriting classes can specify and compare units
root_ns.science.mathematics.Counter_class
Total number of countable values
Allows negative numbers
Limited to the physical implementation of the number
Dimensionless size
Inheriting classes indicate the unit of measure.

Physics

During operations, the unit is monitored with warnings.
in the absence of the described transformation
root_ns.science.mathematics.Scalar_class
Scalar Measured Value with unit
root_ns.science.mathematics.Complex_class
Complex number
May be represented in vector or trigonometric form.
root_ns.science.mathematics.Tensor_class
Tensor value

root_ns.science.physics.SI.One_class
SI unit class
enumeration of units with default units
L - distance, m
M - weight, kg
T - time, with
...
root_ns.science.physics.SI.Multiply_class
Comprehensive SI unit of measurement
includes a list of dimensions with the degree of occurrence and units of measurement for each dimension
At the same time, the same dimensions with different units of measurement can be included several times.

root_ns.science.physics.Measure_class
class to specify the measured scalar value

root_ns.science.physics.Measured_Template
Class template for unit operations
Contains a precision index in decimal places
Contains accuracy analysis and rounding operation

---

root_ns.science.logical.Base_class
Logical relationship
root_ns.science.structures.Listiner_template
Subjects of attention
root_ns.science.structures.Self_template
root_ns.science.structures.tuples.Tuple_class
tuple (props with requisites, each of which is either a tuple or one-dimensional prop)
UPD - Discussion of similar topics:
habrahabr.ru/post/144334 Type-rich Programming ( ++ 11)