A többparadigmás programozási nyelv olyan programozási nyelv , amelyet kifejezetten többparadigmás programozási eszközként fejlesztettek ki , vagyis amelynek kifejező képességeit eredetileg a különböző paradigmák több, leggyakrabban nem rokon nyelvétől örökölték volna .
Tágabb értelemben a többparadigmás nyelv bármely olyan nyelvként értelmezhető, amely egynél több programozási paradigmát támogat ; Ez a meghatározás azonban nem bizonyul kellően pontosnak, mivel a programozási paradigma fogalmát a különböző szerzők eltérően határozzák meg. Például, ha a rekurziót , a strukturált programozást és a hozzárendeléseket programozási paradigmának tekintjük , akkor kiderül, hogy néhány speciális eset kivételével szinte minden létező programozási nyelv alkalmas a vizsgált definícióra. Haskell nyelv , amelyben nincs hozzárendelés a szokásos formában).
A többparadigmájú programozási nyelvek fejlesztésének célja általában az, hogy a programozók a legjobb eszközt használják a munkához, felismerve, hogy egyetlen paradigma sem oldja meg az összes problémát a legegyszerűbb vagy leghatékonyabb módon.
Az egyik ambiciózusabb példa az Oz , amely egy logikai nyelv , egy funkcionális nyelv , egy objektum-orientált nyelv , egy kompetitív (párhuzamos) programozási nyelv . Az Oz-t tíz éven keresztül fejlesztették, célja a hagyományosan különböző programozási paradigmákhoz kötődő koncepciók ötvözése.
Az egyik legsikeresebb többparadigmás programozási nyelvet gyakran C ++ nyelvnek hívják, amely az általánosított , procedurális és objektumorientált paradigmát egyesítette .
A funkcionális és objektumorientált paradigmákat natívan támogató nyelvek a Dylan és a Scala . A funkcionális és eljárási paradigmák egyesítik az APL -t és a Rust -ot . A funkcionális és logikai paradigmákat az AFL , a Curry és a Mercury testesíti meg .