В Java и наверное в C# есть такое понятие - AOP или аспектно ориентированное программирование. Если по-простому аспект - это некий дополнительный код, который запускается после вызова какой-то функции, либо до основного кода этой функции, либо после, либо и до и после. В Go есть аналогичная фигня, но там она называется middleware. В Python так же есть аналогичная фигня, но там она называется декоратором. Ещё встречается термин "функция высшего порядка".

У меня вопрос, зачем придуман весь этот зоопарк названий? Почему нет единой терминологии?

Понятно, что эти названия не совсем идентичны:

функция высшего порядка → фича языка
декоратор → шаблон проектирования
middleware → архитектура приложения
AOP → парадигма программирования

Но на практике они используются для обозначения одного и того же.