Общие размышления.
Для начала тезис:
Наиболее удобным языком программирования для конкретной задачи будет тот, на котором
можно выразить алгоритм этой задачи наиболее простым, понятным и естественным образом.
(если вы с ним не согласны, дальше можете не читать).
Есть задачи, которые проще всего решить на ассемблере, есть задачи, которые легко описываются на Лиспе, есть задачи для Пролога, Си, других языков. Собственно, такой взгляд на решение задач, привел к созданию целой кучи DSL языков. При этом понятно, что знать слишком много языков, при решении общих задач, хотя и полезно, но нереально (избыточно в любом случае).
Понятно, что задачи бывают очень разными по своей сложности, поэтому возникла классификация языков по величине уровня абстракций, заложенных в уникальные кирпичики конкретного языка, которые определяют простейшие доступные действия.
Например, в разнообразных ассеблерах, а они достаточно жестко привязаны к конкретным архитектурам, используются команды минимального уровня абстракции, причем, это не значит, что сами команды очень простые, это значит лишь, что команд проще для данной архитектуры не существует - это нулевой уровень абстракции. Понятно, что на ассемблере можно решать
достаточно сложные задачи, но это не очень продуктивно, достаточно сложно и самое неприятное, жестко привязано к архитектуре конкретного аппаратного обеспечения. С другой стороны, наиболее оптимизированным может быть только решение на таком низком уровне.
Есть языки, как бы, среднего уровня абстракции, например, тот же Си. Вроде и недалеко от ассемблера ушел язык, но уже не имеет стандартных ассемблерных проблем с переносимостью и позволяет чуточку проще выражать решения. Но при том же более структурно сложные задачи на языках среднего уровня решать сложно, громоздко, но все же легче, чем на ассемблере.
Неожиданность тут заключается в том, что, если решаемая задача имеет уровень ниже среднего, язык среднего уровня становится тоже неудобен, так как предназначен для решения более абстрактных задач, поэтому всеравно приходится вспоминать ассемблер.
Языки высокого уровня тоже получаются не слишком удачными, из-за того, что очень простые действия с помощью них выражать иногда вообще невозможно, хотя достаточно крупные задачи решаются чуть ли не идеальным образом, хотя и не всегда самым эффективным.
|
