The value of typed systems is based in their ability to represent most typical computer programs while detecting more errors.
Der Vorteil von typbehafteten Systemen ist ihre Möglichkeit, die meisten typischen Computerprogramme darzustellen, dabei aber mehr Fehler entdecken zu können.