Зміст:
Визначення - Що означає параметричний поліморфізм?
Параметричний поліморфізм - це мова мови програмування, яка дає змогу узагальнити визначення функцій та типів без особливого занепокоєння щодо помилок на основі типу. Це дозволяє мові бути більш виразною при написанні загального коду, який застосовується до різних типів даних. Функції, написані в контексті параметричного поліморфізму, працюють на різні типи даних.
Техопедія пояснює параметричний поліморфізм
Параметричний поліморфізм є основним принципом загальних мов та структур програмування. Це дозволяє створювати загальні функції та типи даних, які працюють на значеннях, незалежно від типу даних.
Наприклад, якщо функція програмування працює на двох різних значеннях, значення можуть бути додані, навіть якщо вони не мають однакових типів даних. Приклад - приєднання до списку цілих чисел із значенням плаваючої точки.
Ада, Haskell, Visual Prolog, Scala, Java та C # - це мови програмування, які підтримують параметричний поліморфізм.
