21 Century Math Method in Programming

Table of Contents

Good Future of Programming

I believe that 21MM™ is also the base for the future programming languages.

The following sounds like a fantastic utopia but it is a truth.

Because of being based on 21MM (as the full power of mathematics is included) future programming languages will be:

• reliable (any formal math proofs can be used for assertion checks);

• powerful and flexible (any mathematical construct can be expressed in 21MM);

• efficient (because algorithms will be themselves data structures and optimization algorithms can be included in libraries);

• (probably optionally) containing the builtin facility of algorithm correctness proof.

Components and libraries will be reusable because math formulas are reusable.

Moreover, as all future programming languages are going to have one common base that is 21MM, it will lead to increase of interoperability between different programming languages.

Software repositories will receive the second function, as repositories of math ideas gathered from programmers. These repositories will be transformed by self-teaching automatic theorem proovers into new math knowledge.

These repositories can also count how often a given person or entity generates new ideas. This can be used as a mean for finding and chosing clever persons for high positions and to make the amounts of job earnings more fair. (I deem that it will decrease World unfairness because the criteria in greater degree than now will be based on inherent objective mind abilities rather than on subjective criteria of education and subjective personal characteristics.)

Expressing Programming Constucts in 21MM

The type marks can be used as classes for object oriented programming.

Substitution can be used to express the relation of a base class with a derived class.

Also substitution can be used:

• to express algorithms (any algorithm can be expressed as a chain of substitutions in data structures);

• for action based programming (signal based programming and event based programming).

[TODO]

Licensing

References