The founder of the public chain Tau Net once said:

The Tau language is suitable for developing critical systems. Especially in preventing computer viruses, it is effective. Because if a critical system is developed using the Tau language, computer viruses also need to be developed using the Tau language to be effective. However, any malicious code written in the Tau language can be immediately verified.

Explanation:

A critical system refers to systems such as military equipment or nuclear power plants that cannot afford errors.

The Tau language is the world's first in terms of decidability.

Decidability means that for a piece of complex computer code, it can be checked through an algorithm whether the output of the code meets the requirements.

For example, whether there is malicious code in the code, whether there are security vulnerabilities in the code.

In contrast, code written in conventional programming languages does not possess decidability. This has been mathematically proven.

However, as a trade-off, the Tau language is not Turing complete and has numerous syntax restrictions.