| Цитата(Курсант @ 15.1.2017, 23:35) | | Сумбурно и безсистемно, конечно, но я не теоретик программирования, простите. Сделайте несколько классификаций, расскажите про эти классификации и разбросайте языки по этим классам (один язык будет входить в несколько классов). |
То что бессистемно - это точно 
Языки программирования делятся, в первую очерень, по своей идеологии, парадигме, философии... Язык программирования сам по себе никому не нужен (если бы можно было безошибочно записать программный код в машинных инструкциях). И то, каким способом язык выражает описываемый алгоритм и определяет его идеологию:
1. императивный ... это то, к чему все привыкли - оператор за оператором описывают действия (команды, приказания императивы), это все: Basic, Fortran, Pascal, C, C++, C#, Java, Go, PHP, Lua, JavaScript ... в значительной мере Python, Ruby, Scala ... (и здесь совершенно не важно, кто из них объектный как Java, или структурный как Pascal, или даже вовсе ине структурный даже, как Fortran ... и не важно кто из них компилирующие, а кто требует интерпретации - это всё уже величины вторичной степени малости);
2. функциональные - когда все действия записываются как последовательность вложенных (сколь угодно глубоких ) вызовов функций, это Lisp (и все его клоны, например Scheme), Hascell, Caml (и все клоны ML) ... в значительной мере Scala, в существенной мере Python, Go;
3. логические - когда не описываются вообще последовательность действий, а описывается система отношений между объектами, а из этого выводится результат, это все производные от Prolog, KL0, ShapeUp...
Ещё есть группа экзотических языков, складывающаяся из способа организации вычислений - стековые машины, это Forth, в первую очередь ... сюда же относят по реализации Lisp (стековая SECD машина).
И только потом вы можете дальше делить (императивные главным образом) языки на:
1. компилируемые ... на сегодня здесь реально только C, C++, Go
2. интерпретиремые: Lisp, PHP, Lua, JavaScript, Ruby, Basic, ... подавляющее большинство на сегодня
3. компилируемые в промежуточный байт код, который затем интерпретируется языковой виртуальной машиной (VM): Java, Scala, Python, Forth... C# и всё что .NET
... или так:
- без структурности: Basic, Fortran, ...
- структурные: Pascal, C, Go, ...
- объектные: Java, C++, Scala, ... JavaScript, Go, Lua...
|
)