PL/I (Programming Language One, ПЛ/1) — универсальный машинно-независимый язык программирования высокого уровня с набором средств для описания вычислительных процессов, задач обработки данных, обработки символьной информации, процессов моделирования, решения логических задач, исследования логических схем, решения задач в реальном масштабе времени, для разработки систем математического обеспечения. Язык содержит набор синтаксических конструкций и встроенных функций. ПЛ/1 поддерживает рекурсию и структурное программирование, и его основная область применения — обработка данных. Основные свойства языка: свободный синтаксис, ключевые слова нечувствительны к регистру, по умолчанию язык передает параметры по ссылке, поддерживает сложные структуры с объединениями (в терминологии языка Паскаль — записи с вариантами), встроенная поддержка многих типов данных, включая два вида строк, несколько видов динамического выделения памяти.
В конце 1963 года фирма IBM одновременно с новой линией компьютеров приступила к разработке языка ПЛ/1. Спецификации языка были готовы в 1964 году. Фирма IBM надеялась, что ПЛ/1 явится кульминацией достижений в области создания языков программирования. Многие черты Фортрана, Кобола, Алгола нашли отражение в ПЛ/1. Однако критики отметили, что ПЛ/1 повторил слишком много ошибок прошлого. Важная особенность языка — его модульность, возможность образовывать специализированные (для конкретной области применения) подмножества языка различной сложности путем отбрасывания ненужных для данных приложений средств. Эта особенность облегчила использование языка, повысила эффективность работы трансляторов.