Langages de haut niveau créent des programmes qui sont plus faciles pour un être humain à déchiffrer, par opposition aux langages de bas niveau , qui une machine peut plus facilement exécuter . Ils peuvent être classés par paradigmes , à savoir , les classifications des abstractions utilisées pour comprendre la structure de contrôle de la langue. Les langages de programmation ne « descendent » dans d'autres langues. Toutefois, les concepteurs de langage empruntent des concepts et la syntaxe d'autres langues. Cela rend de nouvelles langues facile à apprendre une fois que vous aurez maîtrisé le paradigme de base . Langue Typing

L'approche de la frappe de la langue diffère de la langue. Typing se réfère à la classification de données en tant que type , et si oui ou non un type de données peut être traité comme un autre type de données par un programme. Par exemple, un certain nombre , caractère alphanumérique ou la valeur vrai /faux est représenté par une valeur binaire. Par conséquent, sans avoir à taper , vous pourriez faire une expression juridique qui calcule la valeur du symbole "!" divisée par deux . Les langages typés éviter cela, et les langues de type statique essai frappe avant que le programme s'exécute, généralement lors de la compilation .
Compilé et interprété Langues

Compilation d'un langage convertit à la machine code, et compilées langues sont conçus pour être exécutés de telle manière . En revanche, un langage interprété fonctionne car un programme d' interprète balaie la syntaxe du langage et suit les ordres logiques qu'il trouve, sans avoir besoin de compiler l'avance. La distinction entre langages compilés et interprétés est surtout une question de la préférence du concepteur du langage - en théorie, n'importe quelle langue peut être soit compilé ou interprété . Langages interprétés sont aussi appelés " langages de script. " C + + , les dialectes les plus élémentaires et Common Lisp sont tous des langages compilés . Perl et Python sont interprétés langues. Java combine les deux paradigmes compilées et interprétées , dans lequel le code Java normale est compilé pour Java bytecode , qui est ensuite interprété par la machine virtuelle Java.
Déclarative vs Impératif
Les langages de programmation

peut incarner paradigmes déclaratives ou impératives : entraînée par la logique de calcul ou de flux de contrôle. Langues conçus avec le paradigme déclaratif précisent ce qu'est une machine doit accomplir, sans indiquer nécessairement la façon dont cela doit être fait . Ils comprennent langages dédiés à un domaine de problème spécifique, tel que HTML, et les langages de programmation fonctionnels sans un état persistant , comme Lisp . Le paradigme impératif , en revanche, traite un programme comme une série de commandes qui modifient l'état du programme. Les langages procéduraux tels que C sont des langages impératifs et structurée , comme Java , utilisez le style impératif . Certaines langues , comme ceux trouvés dans un makefile utilisé pour construire des programmes , utilisent les deux styles déclaratives et impératives .
Structurée et orientée objet

Une classe spéciale de langages impératifs , langages structurés divisent la logique du programme en sous-sections distinctes pour réduire le « code spaghetti » ou sauts logiques aléatoires difficiles à suivre parties du programme . L' approche structurée est devenu solidifiée par la programmation orientée objet , qui a divisé les extraits de code dans les classes et les méthodes. Java et C + + sont des langages de programmation orientés objet .
Métaprogrammation

" Métaprogrammation " se réfère à des programmes qui agissent sur d'autres programmes. Certaines langues sont conçus spécifiquement pour metaprogramming . Le langage de Marque , par exemple, est un langage de script simple qui compile et exécute des programmes écrits dans des langages compilés comme C C + + et Python également présenter des caractéristiques métaprogrammation .