Porovnání programovacích jazyků s více paradigmaty - Comparison of multi-paradigm programming languages

Programovací paradigmata

Programovací jazyky lze seskupit podle počtu a typů paradigmata podporováno.

Souhrny paradigmatu

Stručný odkaz na paradigmata programování uvedená v tomto článku.

  • Souběžné programování - mít jazykové konstrukty pro souběžnost, které mohou zahrnovat multi-threading, podporu distribuovaných výpočtů, předávání zpráv, sdílené prostředky (včetně sdílené paměti), nebo futures
    • Programování herců Souběžný výpočet s herci které přijímají místní rozhodnutí v reakci na prostředí (schopné sobeckého nebo soutěžního chování)
  • Omezení programování - vztahy mezi proměnnými jsou vyjádřeny jako omezení (nebo sítě omezení), směrování přípustných řešení (využívá uspokojení omezení nebo simplexní algoritmus )
  • Programování toku dat - vynucený přepočet vzorců při změně datových hodnot (např. tabulky )
  • Deklarativní programování - popisuje, co by výpočet měl provádět, aniž by specifikoval podrobné změny stavu srov. imperativní programování (funkční a logické programování jsou hlavní podskupiny deklarativního programování)
  • Distribuované programování - mít podporu pro více autonomních počítačů, které komunikují prostřednictvím počítačových sítí
  • Funkcionální programování - používá vyhodnocení matematických funkcí a vyhýbá se stavovým a měnitelným datům
  • Generické programování - používá algoritmy napsané z hlediska typů, které mají být specifikovány později, které jsou poté podle potřeby vytvořeny pro konkrétní typy poskytované jako parametry
  • Imperativní programování - explicitní příkazy, které mění stav programu
  • Logické programování - používá pro programování explicitní matematickou logiku
  • Metaprogramování - psaní programů, které zapisují nebo manipulují s jinými programy (nebo se sebou samými) jako svá data, nebo které provádějí část práce v době kompilace, která by se jinak prováděla za běhu
    • Metaprogramování šablon - metody metaprogramování, ve kterých šablony používá kompilátor ke generování dočasného zdrojového kódu, který je sloučen kompilátorem se zbytkem zdrojového kódu a poté zkompilován
    • Reflexní programování - metody metaprogramování, při nichž se program sám upravuje nebo rozšiřuje
  • Objektově orientované programování - používá datové struktury sestávající z datových polí a metod společně s jejich interakcemi (objekty) k navrhování programů
    • Na základě třídy - objektově orientované programování, ve kterém je dědičnosti dosaženo definováním tříd objektů oproti objektům samotným
    • Prototypové - objektově orientované programování, které se vyhýbá třídám a implementuje dědičnost prostřednictvím klonování instancí
  • Programování potrubí - jednoduchá změna syntaxe, která přidá syntaxi k volání funkcí vnoření do jazyka původně navrženého s žádným
  • Programování na základě pravidel - síť pravidel, která obsahují znalostní základnu a lze je použít pro expertní systémy a dedukci a řešení problémů
  • Vizuální programování - manipulace s prvky programu spíše graficky než jejich textovou specifikací (např. Simulink ); také nazývané schematické programování[1]

Přehled jazyků

Seznam programovacích jazyků s více paradigmaty
JazykPočet paradigmatSouběžněOmezeníTok datDeklarativníDistribuovánoFunkčníMetaprogramováníObecnýRozkazovací způsobLogikaOdrazObjektově orientovanýPotrubíVizuálníNa základě pravidelDalší paradigmata
Ada[2][3][4][5][6]5Ano[a 1]NeNeNeAnoNeNeAnoAnoNeNeAno[a 2]NeNeNeNe
ALF2NeNeNeNeNeAnoNeNeNeAnoNeNeNeNeNeNe
AmigaE[Citace je zapotřebí ]2NeNeNeNeNeNeNeNeAnoNeNeAno[a 2]NeNeNeNe
APL3NeNeNeNeNeAnoNeNeAnoNeNeNeNeNeNePole (vícerozměrné)
BETA[Citace je zapotřebí ]3NeNeNeNeNeAnoNeNeAnoNeNeAno[a 2]NeNeNeNe
C ++7 (15)Ano[7][8][9]Knihovna[10]Knihovna[11][12]Knihovna[13][14]Knihovna[15][16]AnoAno[17]Ano[a 3]AnoKnihovna[18][19]Knihovna[20]Ano[a 2]Ano[21]NeKnihovna[22]Pole (vícerozměrné; použití STL )
C#6 (7)AnoNeKnihovna[a 4]NeNeAno[a 5]NeAnoAnoNeAnoAno[a 2]NeNeNereaktivní[a 6]
ChucK[Citace je zapotřebí ]3AnoNeNeNeNeNeNeNeAnoNeNeAno[a 2]NeNeNeNe
Claire2NeNeNeNeNeAnoNeNeNeNeNeAno[a 2]NeNeNeNe
Clojure5Ano[23][24]NeNeAnoNeAno[25]Ano[26]NeNeKnihovna[27]NeNeAno[28]Editor[29]NeVícenásobné odeslání,[30] Agenti[31]
Společný Lisp5Knihovna[32]Knihovna[33]Knihovna[34]Ano[35]Knihovna[36]AnoAnoAno[37]AnoKnihovna[38]AnoAno (vícenásobné odeslání, kombinace metod)[39][a 2]Knihovna[40]NeKnihovna[41]Vícenásobné odeslání, systém meta-OOP,[42] Jazyk je rozšiřitelný pomocí metaprogramování.
Kučera5NeNeNeNeNeAnoNeAno[a 3]AnoNeAnoAno[a 2]NeNeNeNe
Kari4AnoAnoNeNeNeAnoNeNeNeAnoNeNeNeNeNeNe
D (verze 2.0)[43][44]6Ano[a 7]NeNeNeNeAnoAno[45][a 3]Ano[a 3]AnoNeNeAno[a 2]NeNeNeNe
Dylan[Citace je zapotřebí ]3NeNeNeNeNeAnoNeNeNeNeAnoAno[a 2]NeNeNeNe
E3AnoNeNeNeAnoNeNeNeNeNeNeAno[a 2]NeNeNeNe
ECMAScript[46][47] (ActionScript, E4X, JavaScript, JScript )4 (5)částečné (sliby, nativní rozšíření)[a 8]NeNeKnihovna[48][49]NeAnoNeNeAnoNeAnoAno[a 9]Knihovna[50][51]Editor[52]Nereaktivní,[a 10][53] událost řízena[a 11][a 12]
Embarcadero Delphi3NeNeNeNeNeNeNeAno[a 3]AnoNeNeAno[a 2]NeNeNeNe
Erlang3AnoNeNeAnoAnoAnoNeNeNeNeNeNeAnoNeNeNe
Elixír4AnoNeNeNeAnoAnoAnoNeNeNeNeNeAnoNeNeNe
Jilm6AnoNeAnoAnoNeAnoNeAnoNeNeNeNeAnoNeNereaktivní
F#7 (8)Ano[a 7]NeKnihovna[a 4]AnoNeAnoNeAnoAnoNeAnoAno[a 2]NeNeNereaktivní[a 6]
Fortran4 (5)AnoNeNeNeNeAno[a 13]NeAno[a 14]NeNeNeAno[a 2]NeNeNePole (vícerozměrný)
Jít4AnoNeNeNeNeNeNeNeAnoNeAnoNeAnoNeNeNe
Haskell8 (15)AnoKnihovna[54]Knihovna[55]AnoKnihovna[56]Ano (líný )Ano[57]AnoAnoKnihovna[58]NeNeměnnýAnoAnoKnihovna[59]gramotné, reaktivní, závislé typy (částečné)
Io4Ano[a 7]NeNeNeNeAnoNeNeAnoNeNeAno[a 9]NeNeNeNe
J[Citace je zapotřebí ]3NeNeNeNeNeAnoNeNeAnoNeNeAno[a 2]NeNeNeNe
Jáva6AnoKnihovna[60]Knihovna[61]NeNeAnoNeAnoAnoNeAnoAno[a 2]NeNeNeNe
Julie9 (17)AnoKnihovna[62]Knihovna[63][64]Knihovna[65]AnoAno (dychtivý )AnoAnoAnoKnihovna[66]AnoAno (vícenásobné odeslání, ne tradiční jednotlivé)AnoNeKnihovna[67][68]Vícenásobné odeslání,
Pole (vícerozměrný); volitelně líný[69] a reaktivní (s knihovnami)
Kotlin8AnoNeNeNeNeAnoAnoAnoAnoNeAnoAnoAnoNeNeNe
LabVIEW4AnoNeAnoNeNeNeNeNeNeNeNeAnoNeAnoNeNe
Láva2NeNeNeNeNeNeNeNeNeNeNeAno[a 2]NeAnoNeNe
LispWorks (verze 6.0 s podporou symetrického vícenásobného zpracování, pravidla, logika (Prolog), CORBA)9AnoNeNeNeAnoAnoAnoNeAnoAnoAnoAno[a 2]NeNeAnoNe
Lua[Citace je zapotřebí ]3NeNeNeNeNeAnoNeNeAnoNeNeAno[a 9]NeNeNeNe
MATLAB6 (10)Panel nástrojů[70]Panel nástrojů[71]Ano[72]NePanel nástrojů[73]NeAno[74]Ano[75]NeNeAno[76]Ano[77]NeAno[78]NePole (vícerozměrný)
Nemerle7AnoNeNeNeNeAnoAnoAnoAnoNeAnoAno[a 2]NeNeNeNe
Objekt Pascal4AnoNeNeNeNeAnoNeNeAnoNeNeAno[a 2]NeNeNeNe
OCaml4NeNeNeNeNeAnoNeAnoAnoNeNeAno[a 2]NeNeNeNe
Oz11AnoAnoAnoAnoAnoAnoNeNeAnoAnoNeAno[a 2]AnoNeAnoNe
Perl[Citace je zapotřebí ]8 (9)Ano[79]Knihovna[80]Ano[81]NeNeAnoAnoNeAnoNeAno[a 2]Ano[a 2]AnoNeNeNe
PHP[82][83][84]4NeNeNeNeNeAnoNeNeAnoNeAnoAno[a 2]NeNeNeNe
Poplog3NeNeNeNeNeAnoNeNeAnoAnoNeNeNeNeNeNe
Prograph3NeNeAnoNeNeNeNeNeNeNeNeAno[a 2]NeAnoNeNe
Krajta5 (10)Knihovna[85][86]Knihovna[87]NeNeKnihovna[88]ČástečnýAno[89][90]Ano[91][92]AnoKnihovna[93]AnoAno[a 2]NeEditor[94]Nestrukturovaný
R4NeNeNeNeNeAnoNeNeAnoNeAnoAnoAno[95]NeNePole (vícerozměrné)
Raketa6Ano[96]NeNeNeNeAnoAnoNeAnoAnoAnoAnoNeNeNeNe
Raku10Ano[97]Ano[98]Ano[99]NeKnihovna[100]AnoAno[101]Ano[102]AnoNeAno[103]Ano[104]AnoNeNeVícenásobné odeslání, líné seznamy, reaktivní.
ROOP3NeNeNeNeNeNeNeNeAnoAnoNeNeNeNeAnoNe
Rubín5NeNeNeNeNeAnoAnoNeAnoNeAnoAno[a 2]NeNeNeNe
Rez (verze 1.0.0-alfa)6Ano[a 7]NeNeNeNeAnoAno[105][106]Ano[107]AnoNeNeAnoNeNeNelineární, affline a typy vlastnictví
Sather[Citace je zapotřebí ]2NeNeNeNeNeAnoNeNeNeNeNeAno[a 2]NeNeNeNe
Scala[108][109]9Ano[a 7]NeAno[a 15]AnoNeAnoAnoAnoAnoNeAnoAno[a 2]NeNeNeNe
Simula[Citace je zapotřebí ]2NeNeNeNeNeNeNeNeAnoNeNeAno[a 2]NeNeNeNe
SISAL3AnoNeAnoNeNeAnoNeNeNeNeNeNeNeNeNeNe
Tabulky2NeNeNeNeNeAnoNeNeNeNeNeNeNeAnoNeNe
Rychlý7AnoNeNeNeNeAnoAnoAnoAnoNeAnoAno[a 2]NeNeNeblokově strukturovaný
Tcl s rozšířením Snit[Citace je zapotřebí ]3NeNeNeNeNeAno[110]NeNeAnoNeNeAno[a 9][111]NeNeNeNe
Visual Basic .NET6 (7)AnoNeKnihovna[a 4]NeNeAnoNeAnoAnoNeAnoAno[a 2]NeNeNereaktivní[a 6]
Windows PowerShell6NeNeNeNeNeAnoNeAnoAnoNeAnoAno[a 2]AnoNeNeNe
Wolfram jazyk & Mathematica13[112] (14)AnoAnoAnoAnoAnoAnoAnoAnoAnoAnoAnoAnoAno[113]NeAnoZnalostní

Viz také

Poznámky

  1. ^ místo setkání a podobné monitoru
  2. ^ A b C d E F G h i j k l m n Ó p q r s t u proti w X y z aa ab ac inzerát ae af ag ah ai Na základě třídy
  3. ^ A b C d E Metaprogramování šablon
  4. ^ A b C použitím Tok dat TPL
  5. ^ pouze lambda podpora (líné funkční programování)
  6. ^ A b C použitím Reaktivní rozšíření (Rx)
  7. ^ A b C d E programování herců
  8. ^ použitím Node.js ' shluk modul nebo child_process.fork metoda, webové pracovníky v prohlížeči atd.
  9. ^ A b C d Prototypové
  10. ^ použitím Reaktivní rozšíření (RxJS)
  11. ^ v Node.js prostřednictvím jejich Události modul
  12. ^ v prohlížečích přes jejich nativní EventTarget API
  13. ^ čistě funkční
  14. ^ parametrizované třídy
  15. ^ Akka Archivováno 19. 1. 2013 na Wayback Machine

Citace

  1. ^ Bragg, S.D .; Driskill, C.G. (20. – 22. Září 1994). "Schematicko-grafické programovací jazyky a DoD-STD-2167A". Sborník AUTOTESTCON '94. IEEEXplore. IEEE. 211–220. doi:10.1109 / AUTEST.1994.381508. ISBN  978-0-7803-1910-3.
  2. ^ Referenční příručka Ada, ISO / IEC 8652: 2005 (E) vyd. 3, Část 9: Úkoly a synchronizace
  3. ^ Referenční příručka Ada, ISO / IEC 8652: 2005 (E) vyd. 3 Příloha E: Distribuované systémy
  4. ^ Referenční příručka Ada, ISO / IEC 8652: 2005 (E) vyd. 3, Část 12: Generické jednotky
  5. ^ Referenční příručka Ada, ISO / IEC 8652: 2005 (E) vyd. 3, Oddíl 6: Podprogramy
  6. ^ Referenční příručka Ada, ISO / IEC 8652: 2005 (E) vyd. 3, 3.9 Označené typy a rozšíření typů
  7. ^ Podpora vláken
  8. ^ Atomová podpora
  9. ^ Paměťový model
  10. ^ Gecode
  11. ^ SystemC
  12. ^ Boost.Iostreams
  13. ^ Boolinq
  14. ^ AraRat
  15. ^ OpenMPI
  16. ^ Boost.MPI
  17. ^ Boost.MPL
  18. ^ LC ++
  19. ^ Castor Archivováno 2013-01-25 na Wayback Machine
  20. ^ Reflect Library
  21. ^ N3534
  22. ^ Boost. Duch
  23. ^ Clojure - souběžné programování
  24. ^ Clojure - core.async
  25. ^ Clojure - funkční programování
  26. ^ Clojure - Makra
  27. ^ Clojure - core.logic
  28. ^ Clojure - Thread Macros Guide
  29. ^ "Světelný stůl". 2019-04-08.
  30. ^ Multimetody a hierarchie
  31. ^ Agenti a asynchronní akce
  32. ^ [1] mnoho paradigmat souběžnosti implementovaných jako rozšíření jazyka
  33. ^ [2] programování omezení uvnitř CL prostřednictvím rozšíření
  34. ^ [3] rozšíření toku dat
  35. ^ [4] vytvořením DSL pomocí zabudovaného metaprogramování; viz také poznámka k funkčním paradigmatům omezení a logiky, která jsou součástí deklarativního
  36. ^ [5] MPI atd. Prostřednictvím jazykových rozšíření
  37. ^ metaprogramování šablon pomocí maker (viz C ++)
  38. ^ [6] [7] [8] Prolog implementován jako rozšíření jazyka
  39. ^ Společný systém objektů Lisp viz článek Wikipedie o CLOS, společném objektovém systému Lisp.
  40. ^ implementováno uživatelem pomocí krátkého makra, příklad implementace: [9]
  41. ^ [10] rozšíření programování založené na pravidlech
  42. ^ [11] prostřednictvím protokolu Meta Object Protocol
  43. ^ Tabulka funkcí jazyka D.
  44. ^ Phobos std. Algoritmus
  45. ^ Řetězcové mixiny v jazyce D.
  46. ^ Malý JavaScripter demonstruje základní shodnost se Scheme, funkčním jazykem.
  47. ^ Objektově orientované programování v JavaScriptu Archivováno 10. 2. 2019 na Wayback Machine poskytuje přehled technik objektově orientovaného programování v JavaScriptu.
  48. ^ „Reagovat - knihovna JavaScript pro vytváření uživatelských rozhraní“. 2019-04-08.
  49. ^ "Háčky TNG". 2019-04-08.
  50. ^ „Dokumentace Lodash“. 2019-04-08.
  51. ^ "mori". 2019-04-08.
  52. ^ "Light Table". 2019-04-08.
  53. ^ "Háčky TNG". 2019-04-08.
  54. ^ Vkládání Prologu
  55. ^ "Funkční reaktivní programování - HaskellWiki".
  56. ^ Cloud Haskell
  57. ^ „Template Haskell - HaskellWiki“.
  58. ^ „Logict: Backtracking logic-programming monad“.
  59. ^ [12]
  60. ^ https://jcp.org/en/jsr/detail?id=331 JSR 331: Constraint Programming API
  61. ^ https://github.com/GoogleCloudPlatform/DataflowJavaSDK Google Cloud Platform Dataflow SDK
  62. ^ „JuliaOpt / JuMP.jl“. GitHub. JuliaOpt. 11. února 2020. Citováno 12. února 2020.
  63. ^ „GitHub - MikeInnes / DataFlow.jl“. 2019-01-15.
  64. ^ „GitHub - JuliaGizmos / Reactive.jl: Reaktivní programovací primitiva pro Julii“. 2018-12-28.
  65. ^ https://github.com/davidanthoff/Query.jl Dotaz na téměř cokoli v Julii
  66. ^ https://github.com/lilinjn/LilKanren.jl Sbírka implementací Kanren v Julii
  67. ^ „GitHub - abeschneider / PEGParser.jl: PEG Parser pro Julii“. 2018-12-03.
  68. ^ „GitHub - gitfoxi / Parsimonious.jl: Generátor analyzátoru PEG pro Julii“. 2017-08-03.
  69. ^ Líný https://github.com/MikeInnes/Lazy.jl
  70. ^ "Provádět iterace smyčky paralelně". mathworks.com. Citováno 21. října 2016.
  71. ^ „Napište omezení“. mathworks.com. Citováno 21. října 2016.
  72. ^ „Začínáme se SimEvents“. mathworks.com. Citováno 21. října 2016.
  73. ^ "Provádět iterace smyčky paralelně". mathworks.com. Citováno 21. října 2016.
  74. ^ "Execute MATLAB expression in text - MATLAB eval". mathworks.com. Citováno 21. října 2016.
  75. ^ "Určit třídu objektu". mathworks.com. Citováno 21. října 2016.
  76. ^ „Metadata třídy“. mathworks.com. Citováno 21. října 2016.
  77. ^ "Objektově orientované programování". mathworks.com. Citováno 21. října 2016.
  78. ^ "Simulink". mathworks.com. Citováno 21. října 2016.
  79. ^ vlákna založená na tlumočníkovi
  80. ^ Los
  81. ^ Vyšší objednávka Perl
  82. ^ Manuál PHP, Kapitola 17. Funkce
  83. ^ Manuál PHP, Kapitola 19. Třídy a objekty (PHP 5)
  84. ^ Manuál PHP, Anonymní funkce
  85. ^ „Parallel Processing and Multiprocessing in Python“. wiki.python.org. Citováno 21. října 2016.
  86. ^ "threading - rozhraní threading na vyšší úrovni". docs.python.org. Citováno 21. října 2016.
  87. ^ "python-constraint". pypi.python.org. Citováno 21. října 2016.
  88. ^ „Distribuované programování“. wiki.python.org. Citováno 21. října 2016.
  89. ^ "Kapitola 9. Metaprogramování". chimera.labs.oreilly.com. Archivovány od originál dne 23. října 2016. Citováno 22. října 2016.
  90. ^ „Metaprogramování“. readthedocs.io. Citováno 22. října 2016.
  91. ^ „PEP 443 - Generické funkce s jedním odesláním“. python.org. Citováno 22. října 2016.
  92. ^ „PEP 484 - Tipy pro psaní“. python.org. Citováno 22. října 2016.
  93. ^ "PyDatalog". Citováno 22. října 2016.
  94. ^ "Světelný stůl". 2019-04-08.
  95. ^ „Magrittr: operátor předního potrubí pro R“. cran.r-project.org accessdate = 13. července 2017.
  96. ^ Průvodce raketami: Souběžnost a synchronizace
  97. ^ Kanály a další mechanismy
  98. ^ "Podpis třídy".
  99. ^ Provozovatel krmiva
  100. ^ https://github.com/perl6/doc/issues/1744#issuecomment-360565196 Cro modul
  101. ^ „Meta-programování: Co, proč a jak“. 2011-12-14.
  102. ^ https://perl6advent.wordpress.com/2009/12/18/day-18-roles/ Parametrizované role
  103. ^ „Meta-object protocol (MOP)“.
  104. ^ https://docs.perl6.org/language/classtut Třídy a role
  105. ^ "Průvodce makry Rust". Rez. Citováno 19. ledna 2015.
  106. ^ "Průvodce zásuvnými moduly kompilátoru Rust". Rez. Citováno 19. ledna 2015.
  107. ^ Rust Reference § 6.1.3.1
  108. ^ Přehled programovacího jazyka Scala
  109. ^ Specifikace jazyka Scala
  110. ^ "Tcl Programování / Úvod". en.wikibooks.org. Citováno 22. října 2016.
  111. ^ "TCLLIB - Tcl Standard Library: snitfaq". sourceforge.net. Citováno 22. října 2016.
  112. ^ Poznámky pro odborníky na programovací jazyky „Jazyková dokumentace Wolfram.
  113. ^ Externí programy „Jazyková dokumentace Wolfram.

Reference

  • Jim Coplien, Multiparadigmový design pro C ++, Addison-Wesley Professional, 1998.