внутреннее представление списка типов данных аргументов функции (используется для ликвидации двусмысленности при вызове перегруженных функций; из числа претендентов выбирается та функция, которая наиболее близко соответствует сигнатуре вызываемой функции).
означает, что любые возможные комбинации различных языковых конструкций будут осмысленными, без непредвиденных ограничений или неожиданного поведения, возникающих в результате взаимодействия конструкций или контекста использования.
оценивается функцией зависимости объема работы, выполняемой алгоритмом, от размера входных данных.
цикл, в котором условие проверяется после выполнения тела цикла.
