The value of typed systems is based in their ability to represent most typical computer programs while detecting more errors.
Вредност куцаних система се заснива на њиховој способности да представљају већину типичних компјутерских програма, док открива више грешака.