Caml (Categorical Abstract Machine Language) est un langage de programmation permettant la programmation fonctionnelle, impérative et objet. Il se distingue notamment par sa notion d'inférence de type. Caml est un langage de programmation généraliste conçu pour la sécurité et la fiabilité des programmes. Il existe deux implémentations de Caml : OCaml et Caml Light.

Le langage F# est un langage de programmation fonctionnel, impératif et orienté objet. F# est un langage fortement typé utilisant l'inférence de types. Il s'agit d'une version dérivée du langage OCaml adaptée pour la plate-forme .NET. Ces deux langages de programmation (F# et OCaml) font partie de la famille des langages ML. F# utilise par défaut le mécanisme de l'évaluation stricte, mais peut mettre en œuvre l'évaluation paresseuse des expressions grâce à l'utilisation du mot-clé lazy .

Haskell est un langage de programmation fonctionnel basé sur le lambda-calcul et la logique combinatoire. Créé en 1990 par un comité de chercheurs en théorie des langages intéressés par les langages fonctionnels et l'évaluation paresseuse, le nom du langage a pour origine le mathématicien et logicien Haskell Brooks Curry. Les fonctionnalités les plus intéressantes sont le support des fonctions récursives, l'inférence de types, les listes en compréhension et l'évaluation paresseuse.

Scheme est un langage de programmation fonctionnel dérivé de Lisp, créé par Gerald Jay Sussman et Guy L. Steele. Scheme possède un nombre très limité de mots-clés. Comme en Lisp, la notation préfixée permet de s'affranchir d'une précédence des opérateurs. De plus, la puissance des macros de Scheme lui permet de s'adapter à n'importe quel problème, notamment de le rendre orienté objet et donc multi-paradigme.

PL/SQL est un langage de programmation, conçu aux paradigmes procédural et structuré. Il est propriétaire, créé par Oracle et utilisé dans le cadre de bases de données relationnelles. Sa syntaxe générale ressemble à celle des langages Pascal et Ada. À la base, PL/SQL est un langage interprété, mais depuis la version 9i RC1, le code peut être compilé en code machine.

Bash, qui signifie Bourne-again shell, est le shell du projet GNU. Basé sur le Bourne shell, Bash lui apporte de nombreuses améliorations, provenant notamment du Korn shell et du C shell. Bash est un logiciel libre et l'interprète par défaut sur de nombreux Unix libres, notamment sur les systèmes GNU/Linux. C'est aussi le shell par défaut de Mac OS X et il a été porté sous Windows par le projet Cygwin.

Le Transact-SQL (T-SQL) est une extension propriétaire de Sybase et Microsoft au langage SQL. Transact-SQL a été développé à l'origine par la société Sybase. Transact-SQL est ainsi aujourd'hui le langage de programmation associé à la fois aux SGBD Microsoft SQL Server et Sybase Adaptive Server Enterprise. De facon similaire au PL/SQL d'Oracle, Transact-SQL permet d'étendre les fonctionnalités de base du SGBD, via des procédures stockées.

Lua est un langage de script libre, réflexif et impératif. Créé en 1993, Lua a été développé par Luiz Henrique de Figueiredo, Roberto Ierusalimschy et Waldemar Celes. Lua est écrit en langage C ANSI strict, et de ce fait est compilable sur une grande variété de systèmes. Il est souvent utilisé dans des systèmes embarqués où sa compacité est très appréciée.

Le langage Assembleur est un langage de bas niveau qui représente le langage machine (c'est-à-dire le langage du microprocesseur) sous une forme lisible par un humain. Les combinaisons de bits du langage machine sont représentées par des symboles dits « mnémoniques », c'est-à-dire faciles à retenir. Le programme assembleur convertit ces mnémoniques en langage machine en vue de créer par exemple un fichier exécutable.

Le WLangage (langage de WinDev) est un langage de programmation procédurale permettant la programmation impérative et la programmation orientée objet. Le WLangage est compilé dans un langage intermédiaire qui sera ensuite interprété par une machine virtuelle ou exécuté par un compilateur JIT. Une partie des fonctions du langage est basée sur l'API Windows. Le WLangage peut être écrit en français ou en anglais.

Inventé par Niklaus Wirth dans les années 1970, conçu initialement pour l'enseignement, le langage Pascal est un langage de programmation à la syntaxe claire et rigoureuse. Il est toujours très présent aujourd'hui, grâce à ses nombreuses extensions, dont le célèbre (mais obsolète) Turbo Pascal, et dont les principales sont aujourd'hui Object Pascal et Delphi. Le nom du langage vient du mathématicien français Blaise Pascal.

COBOL (COmmon Business Oriented Language) est un langage de programmation conçu pour faciliter l'écriture d'applications de gestion. Le langage COBOL était le langage le plus utilisé entre 1960 et 1980 et reste encore utilisé dans les grandes entreprises notamment financières qui disposent de logiciels en COBOL. Écrites à une époque où les octets coûtaient cher, les applications COBOL ont fait craindre le fameux bogue de l'an 2000.

Fortran, qui signifie FORmula TRANslator, est un langage de programmation utilisé actuellement en mathématiques et dans le calcul scientifique. Toutefois, beaucoup de programmes scientifiques sont à présent écrits en C et C++. D'autres langages compilés sont parfois utilisés pour le calcul scientifique, et surtout des logiciels tels que Scilab ou Matlab. Ce dernier était à l'origine un programme en Fortran, distribué aux universités et aux centres de recherche.

Visual Basic est un langage de programmation événementiel dérivé du langage BASIC, permettant le développement rapide d'applications avec interface graphique et l'accès aux bases de données. Les langages de script tels que VBA et VBScript sont syntaxiquement proches de Visual Basic, mais s'utilisent et se comportent de façon très différente. Visual Basic est un des langages les plus utilisés pour l'écriture d'applications commerciales.

Ada est un langage de programmation conçu par l'équipe de CII-Honeywell Bull. Sa deuxième version, Ada95, est le premier langage orienté objet standardisé de manière internationale. Il est notamment utilisé dans des systèmes temps réel et embarqués nécessitant un haut niveau de fiabilité et de sécurité. Le nom Ada a été choisi en l'honneur d'Ada Lovelace, qui est supposée avoir été la première informaticienne de l'histoire.

Lisp est le plus ancien des langages impératifs et fonctionnels. Le nom Lisp signifie « List Processing ». Le langage se caractérise par sa notation préfixée, son typage dynamique, la programmation fonctionnelle, sa gestion de la mémoire et sa capacité à manipuler le code source comme une donnée. Il a été notamment utilisé pour la recherche en intelligence artificielle.

BASIC signifie Beginner's All-purpose Symbolic Instruction Code, et représente toute une famille de langages de haut niveau. Il a été conçu par John George Kemeny et Thomas Eugene Kurtz à l'université de Dartmouth pour faciliter la programmation des ordinateurs par des non-informaticiens. Le BASIC est peut-être le langage de programmation le plus connu.

Le C++/CLI est un langage à part parmi les langages .NET, il est le seul à permettre le mélange de code avec le langage dont il est issu le : C++. Pour activer la programmation en C++ dans un environnement d'exécution managé sur la plateforme .NET, vous pouvez utiliser C++/CLI. C++/CX est un sous-ensemble de C++/CLI. C++/CLI étend la norme d'ISO/ANSI C++, et est défini sous la norme ECMA C++/CLI .

Le langage D est un langage de programmation impératif et orienté objet. Il a été créé par Walter Bright et a pour vocation d'être le successeur du C. Le langage possède une syntaxe épurée pour accélérer la compilation, permet la programmation par contrat, les tests unitaires, les modules, les fonctions anonymes, les templates et le ramasse-miettes. Il peut faire de la programmation bas niveau et s'interfacer avec des bibliothèques écrites en C.

PROLOG (PROgrammation LOGique) est un langage de programmation logique, créé par Alain Colmerauer et Philippe Roussel. Le but était de concevoir un langage de programmation qui permettait d'utiliser l'écriture de la logique à la place de la séquence d'opérations que doit réaliser l'ordinateur dans un langage classique. Prolog est actuellement utilisé dans l'intelligence artificielle et dans le traitement linguistique par ordinateur.

R, qui met en œuvre le langage de programmation S, est un environnement mathématique utilisé pour le traitement de données et l'analyse statistique. R est considéré par ses créateurs comme étant une exécution de S, avec la sémantique dérivée du langage Scheme. R est codé dans les langages C, C++, Fortran et Java.

Tcl est un langage de scripts conçu par John Ousterhout, s'inspirant du C, du Lisp, de Awk et de la programmation shell. Tk est une extension à Tcl permettant de créer des interfaces graphiques portables. Tcl/Tk s'interface avec d'autres langages tels que Perl, Python, Ruby, Lua, Common Lisp, REXX, Ada, Prolog, OCaml, R ou APL. Tcl/Tk fait partie des langages de programmation ayant la propriété d'homoiconicité comme pour Lisp.

Caml Light est une implémentation légère du langage de programmation Caml développé par l'INRIA. Elle est stable et facilement portable. Cette version de Caml permet une programmation fonctionnelle et impérative. Caml Light ne permet pas la programmation orientée objet contrairement à OCaml, son successeur. Caml Light est souvent utilisé pour initier les étudiants à l'algorithmique.

LaTeX est un langage et un système de composition de documents créé par Leslie Lamport en 1983. Du fait de sa relative simplicité, LaTeX est devenu la méthode privilégiée d'écriture de documents scientifiques employant TeX. Il est particulièrement utilisé dans les domaines techniques et scientifiques pour la production de documents de taille moyenne ou importante.

OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet.

Windows PowerShell est une interface en ligne de commande et un langage de script développé par Microsoft. Il est inclus dans Windows 7 et fondé sur la programmation orientée objet (et le framework Microsoft .NET). À la base influencé par le langage Tcl, Windows PowerShell est plus proche des langages de script orientés objet comme Perl que de langages de shell, comme Bash. PowerShell est compatible avec toutes les versions de Windows qui supportent .NET 2.0.

PureBasic est un langage de programmation de type BASIC compilé. La syntaxe de PureBasic est simple, mais ses possibilités sont infinies grâce à certaines caractéristiques évoluées comme, entre autres, les pointeurs, structures, procédures, listes dynamiques, etc. Le programmeur expérimenté n'aura aucune difficulté à accéder aux structures du système d'exploitation et aux API's.

Scala est un langage de programmation multi-paradigme conçu pour exprimer les modèles de programmation courants dans une forme concise et élégante. Scala intègre les paradigmes de programmation orientée objet et de programmation fonctionnelle, avec un typage statique. Il est prévu pour être compilé en bytecode Java (exécutable sur la JVM), ou .Net.

Créé en 1972, Smalltalk est un langage de programmation orienté objet, réflexif et dynamiquement typé. Il fut l'un des premiers langages de programmation à disposer d'un environnement de développement intégré complètement graphique. Il est inspiré par Lisp et Simula. Smalltalk a été d'une grande influence dans le développement de nombreux langages de programmation, dont : Objective-C, Java et Ruby.

Souvent comparé au JavaScript, VBScript est un sous-ensemble de Visual Basic utilisé en tant que langage de script d'usage général. Le VBScript est souvent utilisé en remplacement des fichiers batch DOS. Comme tout langage de script, VBscript est un langage interprété. VBScript est un langage propre à Microsoft et n'est interprété que par Internet Explorer. De ce fait ce langage n'a pas la portabilité de JavaScript par exemple.

XML (Extensible Markup Language) est un langage informatique de balisage générique qui dérive du SGML. Sa syntaxe est dite « extensible » car elle permet de définir différents espaces de noms, c'est-à-dire des langages avec chacun leur vocabulaire et leur grammaire, comme XHTML, XSLT, RSS, SVG… La syntaxe du XML est reconnaissable par son usage des chevrons encadrant les balises.

PowerBuilder est un langage et un EDI initialement développé par la société PowerSoft, qui a été rachetée par Sybase en 1994, elle-même rachetée par SAP en 2010. C'est un langage semi-compilé, orienté objet, générant du C++ utilisé principalement pour des applications de gestion. Son principe central est la standardisation du dialogue avec les bases de données à l'aide de datawindows et la possibilité d'utiliser du SQL directement dans le langage PowerScript.

LabVIEW est le cœur d'une plate-forme de conception de systèmes de mesure et de contrôle, basée sur un environnement de développement graphique de National Instruments. Le langage graphique utilisé dans cette plate-forme est appelé "G". Créé à l'origine sur Apple Macintosh en 1986, LabVIEW est utilisé principalement pour la mesure par acquisition de données, pour le contrôle d'instruments et pour l'automatisme industriel.

ABAP est un langage de programmation propriétaire, faisant partie de l'ensemble logiciel SAP. Il s'agit actuellement du langage utilisé dans la programmation des Web Application Server faisant partie de la plateforme Netweaver pour la réalisation de progiciels. ABAP est l'un des successeurs du COBOL et est apparu dans les années 1980 suivant la vague des langages de quatrième génération (L4G).

Le langage de commande de SAS, qui signifie Statistical Analysis System, est un langage de programmation de quatrième génération (L4G) édité par le SAS Institute depuis 1976. Le langage SAS est basé sur trois parties : les étapes DATA, les procédures qui ont chacune leur objectif, et le langage MACRO qui est un langage permettant d'automatiser les traitements.

REBOL est un langage de programmation script de haut niveau conçu et imaginé par Carl Sassenrath basé sur la sémantique dénotationnelle et se proclamant « Messaging Language ». REBOL propose une implémentation orientée objet particulièrement simple mais très efficace. Il n'y a pas de notion de classe, chaque objet étant instanciable à partir d'un autre. Les notions d'instanciation et d'héritage sont moins distinctes que dans la plupart des autres langages orientés objets.

Maple est un logiciel propriétaire de calcul formel. Maple est un système interprété, c'est-à-dire que l'utilisateur tape une ligne de commande suivie d'un terminateur, ce qui provoque une évaluation (calcul ou résolution) et le système retourne un résultat. Maple représente les objets sous la forme d'un graphe orienté acyclique. Maple est utilisé dans un nombre d'applications remarquables des sciences et des mathématiques.

Scilab est un logiciel libre de calcul numérique multi-plate-forme fournissant un environnement de calcul pour des applications scientifiques. Il possède un langage de programmation orienté calcul numérique de haut niveau. La syntaxe et les possibilités offertes par Scilab sont similaires à celles de Matlab. Les deux ne sont, cependant, pas compatibles bien qu'un traducteur de Matlab vers Scilab existe.

VHDL est un langage de description de matériel destiné à représenter le comportement ainsi que l'architecture d'un système électronique numérique. La syntaxe du VHDL est tirée du langage Ada, dont les mots clefs ont été adaptés à la conception matérielle. Le nom complet du langage est VHSIC Hardware Description Language. VHDL est le langage majoritairement utilisé par les entreprises européennes alors que le langage Verilog est souvent préféré ailleurs.