Les langages de programmation peuvent être regroupées par le nombre et les types de paradigmes pris en charge.
Résumés des paradigmes Une référence concise des paradigmes de programmation répertoriés dans cet article. La programmation concurrente – Intègre des éléments de langage pour la concurrence, tels que le multi-threading, le soutien pour le calcul distribué, le passage de messages, les ressources partagées (y compris la mémoire partagée) ou les contrats à terme. Programmation par acteur – Utilise des acteurs pour le calcul parallèle, lesquels prennent des décisions locales en réponse à leur environnement, et peuvent faire preuve de comportement égoïste ou concurrentiel. Programmation par contraintes – Exprime les relations entre variables sous forme de contraintes (ou réseaux de contraintes) pour diriger les solutions admissibles, utilisant des techniques comme la satisfaction de contraintes ou l'algorithme du simplexe. Programmation par flux de données – Provoque le recalcul forcé des formules lorsque les valeurs des données changent (par exemple, dans les feuilles de calcul). Programmation déclarative – Décrit ce qu'un calcul doit accomplir sans spécifier en détail les modifications d'état, contrairement à la programmation impérative. La programmation fonctionnelle et logique sont les principaux sous-groupes de ce paradigme. La programmation distribuée – Prend en charge plusieurs ordinateurs autonomes qui communiquent via des réseaux informatiques. Programmation fonctionnelle – Utilise l'évaluation de fonctions mathématiques et évite les états et les données modifiables. Programmation générique – Emploie des algorithmes définis en termes de types à déterminer ultérieurement, instanciés au besoin pour des types spécifiques fournis en tant que paramètres. La programmation impérative – Comprend des déclarations explicites qui modifient l'état d'un programme. La programmation logique – Utilise explicitement la logique mathématique pour la programmation. La métaprogrammation – Consiste à écrire des programmes qui écrivent ou manipulent d'autres programmes (ou eux-mêmes) comme données, ou à effectuer une partie du travail au moment de la compilation plutôt qu'à l'exécution. Modèle de métaprogrammation – Méthode de métaprogrammation où des modèles sont utilisés par un compilateur pour générer du code source, lequel est fusionné avec le reste du code source, puis compilé. Réfléchissant programmation – Méthode de métaprogrammation où un programme peut se modifier ou s'étendre lui-même. Programmation orientée objet – Utilise des structures de données composées de champs de données et de méthodes, appelées objets, pour la conception de programmes. Programmation basée sur des classes – Variante de la programmation orientée objet où l'héritage est atteint par la définition de classes d'objets plutôt que par les objets eux-mêmes. Programmation basé sur des prototypes – Variante de la programmation orientée objet qui évite les classes et implémente l'héritage par clonage d'instances. Pipeline de programmation – Introduit une syntaxe modifiant légèrement les appels de fonctions imbriqués, conçue initialement sans cette fonctionnalité. Programmation logique – Utilise un réseau de règles constituant une base de connaissances, applicable aux systèmes experts et à la déduction de problèmes et leur résolution. La programmation visuelle – Manipule graphiquement les éléments du programme plutôt que de les spécifier sous forme de texte (par exemple, Simulink), également appelée programmation schématique.
Résumés des langages +Légende Valeur Description Le langage possède ce paradigme Le langage ne possède pas ce paradigme Le paradigme n'est accessible nativement mais via une bibliothèque
+ Liste de langages multi-paradigmes Langage Autres paradigmes AdaAda Reference Manual, ISO/IEC 8652:2005(E) Ed. 3, Section 9: Tasks and SynchronizationAda Reference Manual, ISO/IEC 8652:2005(E) Ed. 3 Annex E: Distributed SystemsAda Reference Manual, ISO/IEC 8652:2005(E) Ed. 3, Section 12: Generic UnitsAda Reference Manual, ISO/IEC 8652:2005(E) Ed. 3, Section 6: SubprogramsAda Reference Manual, ISO/IEC 8652:2005(E) Ed. 3, 3.9 Tagged Types and Type Extensions 5 rendezvous and monitor-like based ALF 2 AmigaE 2 APL 3 Tableau (multi-dimensionnel) BETA 3 C++ 7 (15) ... . .. BoolinqAraRat .. . Template metaprogramming .Castor . . . Tableau (multi-dimensionnel); en utilisant STL) C# 6 (7) using TPL Dataflow only lambda support (lazy functional programming) reactiveusing Reactive Extensions (Rx) ChucK 3 Claire 2 Common Lisp 5 many concurrency paradigms implemented as language extensions constraint programming inside CL through extensions dataflow extension by creating DSLs using the built-in metaprogramming; also see note on functional, constraint and logic paradigms, which are part of declarative MPI, etc via language extensions template metaprogramming using macros (see C++) Prolog implemented as a language extension :en:Common_Lisp_Object_System see Wikipedia article on CLOS, the Common Lisp Object System. implemented by the user via a short macro, example of implementation . rule-based programming extensionDispatch multiple, système meta-orienté objet., language extensible via métaprogrammation. Curl 5 Curry 4 D (version 2.0).. 6 . Dylan 3 Class-based E 3 ECMAScriptThe Little JavaScripter demonstrates fundamental commonality with Scheme, a functional language.Object Oriented Programming in JavaScript gives an overview of object-oriented programming techniques in JavaScript. (ActionScript, E4X, JavaScript, JScript) 4 (5) using Node.js' cluster module or child_process.fork method, web workers in the browser, etc. Prototype-based reactiveusing Reactive Extensions (RxJS) Embarcadero Delphi 3 Erlang 3 Elixir 4 Elm 6 reactive F# 7 (8) actor programming reactive Falcon 4 Fortran 4 (5) purely functional parameterized classes Tableau (multi-dimensionnel)Go 4 Haskell 2? Prolog embedding Cloud Haskell (lazy) Template:Reactive, dependent types (partial) Io 4 J 3 Java 6 https://jcp.org/en/jsr/detail?id=331 JSR 331: Constraint Programming API https://github.com/GoogleCloudPlatform/DataflowJavaSDK Google Cloud Platform Dataflow SDK Julia 9 (17) https://jump.readthedocs.io/en/latest/ .. https://github.com/davidanthoff/Query.jl Query almost anything in julia (eager) https://github.com/lilinjn/LilKanren.jl A collection of Kanren implementations in Julia .. Multiple dispatch, Array (multi-dimensional); optionally lazyLazy https://github.com/MikeInnes/Lazy.jl and reactive (with libraries)Kotlin 8 LabVIEW 4 Lava 2 Leda 4 LispWorks (version 6.0 with support for symmetric multi-processing, rules, logic (Prolog), CORBA) 9 Lua 3 MATLAB 6 (10) Tableau (multi-dimensionnel) Nemerle 7 Object Pascal 4 OCaml 4 Oz 9 Perl 8 (9) interpreter based threads Moose Higher Order Perl PHPPHP Manual, Chapter 17. FunctionsPHP Manual, Chapter 19. Classes and Objects (PHP 5)PHP Manual, Anonymous functions 4 Poplog 3 Prograph 3 Python 5 (10) structured R 4 Tableau (multi-dimensionnel) Racket 6 Raku 10 Channels and other mechanisms Feed operator https://github.com/perl6/doc/issues/1744#issuecomment-360565196 Cro module . https://perl6advent.wordpress.com/2009/12/18/day-18-roles/ Parametrized Roles https://docs.perl6.org/language/mop https://docs.perl6.org/language/classtut Classes and Roles Multiple dispatch, lazy lists, reactive. ROOP 3 Ruby 4 Rust (version 1.0.0-alpha) 6 The Rust Reference §6.1.3.1 linear, affline, and ownership types Sather 2 ScalaAn Overview of the Scala Programming LanguageScala Language Specification 9 Akka Simula 2 SISAL 3 Spreadsheets 2 Swift 3 block-structured Tcl with Snit extension 3 Visual Basic .NET 6 (7) reactive Windows PowerShell 6 Wolfram Language & Mathematica 13Notes for Programming Language Experts, Wolfram Language Documentation. (14) Knowledge Based
Notes et références
Notes
Références
Voir aussi
Liens externes Getting started with Distributed Ruby (DRb) https://nithinbekal.com/posts/distributed-ruby/ Jim Coplien, Multiparadigm de Conception pour le C++, Addison-Wesley Professional, 1998.
Articles liés
Paradigme (programmation)
Catégorie:Paradigme de programmation