Никогда не откладывайте до времени выполнения, что вы можете сделать во время компиляции.
Закрытый рот не собирается ног. Вывод - это просто место, где кто -то устал от мышления. Беспокорный метод для лечения слона: во-первых, получить огромный блок мрамора; Тогда вы отбрасываете все, что не похоже на слона.
Формальный алгоритм анализа не всегда должен использоваться.
