В конечном итоге я был убежден в необходимости проектирования обозначений программирования, чтобы максимизировать количество ошибок, которые не могут быть допущены, или, если они сделаны, могут быть достоверно обнаружены во время компиляции.