Ein formales Esperanto ist ein von allen Programmierern , Fachbereichen und Qualitätssicherern anerkannter Formalismus, der von allen Rechnern verstanden wird und

• Rechnern sagt, was sie tun sollen,

• Fachbereichen ermöglicht Softwarefunktionen zu durchschauen,

• Qualitätssicherern erlaubt Korrektheit vollständig zu prüfen,

• Programmierern ermöglicht, saubere Programme zu schreiben.

Es hilft der Menschheit dabei, sich auf die wesentlichen Probleme zu konzentrieren, statt sich durch Codes zu ver(unselb)ständigen.