Микроконтроллеры

С этого стоило и начинать. С того, что язык скриптовый. И это уводит совсем в другую сторону, практически в параллельную вселенную. Для тех кому лень дальше читать: ActiveState Komodo. Начать следовало бы с дихтомии языков программирования. Или для начала: забыть всё то, что писалось в ширпотреб-литературе для студентов. Это всё ложь, матрица искусственного мировоззрения, розовые зелёные очки наконец. Программа не является последовательностью инструкций -- наверное это главный постулат, который бы следовало всегда помнить. Последовательностью инструкций, в лучшем случае, является производная программы, продукт работы компилятора, да и то на весьма ограниченном локальном участке, например в пределах функции. Во всех остальных случаях программа в совокупности с вычислительной машиной является скорей является гигантским конечным автоматом. Программа в чистом виде, без вычислительной машины -- набором логических правил. И на этот набор правил можно смотреть под разными углами и видеть разное. Можно видеть как из одних правил выводятся другие и так рекурсивно. Можно видеть таблицу или граф конечного автомата. Может даже пригрезиться последовательность инструкций. Можно видеть функции и их определения через другие функции, можно увидеть даже классы и отношения между ними... В соответствии с этими взглядами языки программирования делятся на разные классы: декларативные, императивные, функциональные, логическoго программирования, макропроцессоры... Но это лишь один способ деления и он не является всеобщим и отрицающим какие-либо другие способы деления. Есть и другое деление, очень важное: языки разделяются на динамически типизированные и языки с жёсткой типизацией. Некоторые, правда, занимают местами промежуточное положение. Разработка ПО большого объёма на языках с динамической типизацией, как правило затруднена, но в целом скорость разработки на таких языках может быть сильно выше (http://caxapa.ru/797984.html). Большой проект можно начинать прототипировать на типичном скриптовом языке, но со временем следует переписывать с применением ООП и желательно на строго типизированном языке типа Java, например. Ещё одним способом деления является, разделение на языки интерпретируемые и компилируемые. Границы здесь могут быть размыты, т.к. многие интерпретируемые языки сейчас имеют встроенный компилятор в байт-код или даже в машинный код. Но важным отличием интерпретатора может являться факт, что программа на интерпретируемом языке может сама генерировать программы на этом же языке, которые могут быть тут же проинтерпретированы. Это подводит нас к метапрограммированию. Ещё одним важным способом деления может являться наличие возможностей метапрограммирования. Это когда программист, вместо непосредственно написания программы на данном ему языке программирования, может на некотором другом, или этом же языке создавать программу, которая сгенерирует другую, нужную программисту программу. Процесс, понятно, может быть достаточно многоуровневый и в пределе рекурсивный. Многие интерпретируемые языки обладают способностью к метапрограммированию ввиду наличия функции "eval" или подобной. Но из сказанного выше никак не следует, что способностью к метапрограммированию обладают только интерпретируемые языки. Компилируемые языки тоже такой возможностью могут обладать. Либо посредством применения макропроцессора, как это сделано в языке C (и надо помнить, что существуют нестандартные сторонние макропроцессоры с существенно большими возможностями, в частности допускающие рекурсию и являющие тьюринг-полными языками программирования). Либо, как в случае с C++, метапрограммирование может являться частью самого языка (здесь надо сделать отступление, см. ниже). Ещё могут разделять языки на скриптовые и прочие. Скриптовые языки обычно являются интерпретируемыми, впрочем никто не запрещает их компилировать. Обычно скриптовый язык предполагает возможность интерактивной работы и восприятия программы как текста, применительно к которому могут использоваться практики метапрограммирования. Наверное следует ввести ещё один способ деления языков на две группы: это способность к модификации самого языка, его интерпретатора если это интерпретируемый/скриптовый язык, или компилятора при компиляции, средствами самого языка или его макропроцессора. В принципе опять же это применимо и к компилируемым языкам, например к lisp. Например язык C такими возможностями не обладает, C++ очень скромными, а многие скриптовые языки, наоборот, очень широкими. Интерпретатор в процессе исполнения программы может запросто удалить из языка ряд ключевых слов, ввести новые, поменять логику работы операторов... Это очень важная особенность. Практически программа после начала интерпретации может модифицировать интерпретатор до уровня, когда он станет способным исполнять программу на некотором другом уже языке, не на том, на котором он исполнял изначально. Например, широкими возможностями обладает Tcl, в котором практически нет понятия "ключевых слов", в какой-то мере Perl, не знаю про Python или PHP, но очевидно в какой-то мере тот и другой такими возможностями обладают. Что из сказанного следует. Что PHP является типичным скриптовым, интерпретируемым (компиляция здесь лишь способ оптимизации) языком программирования, обладающий богатыми средствами метапрограммирования и способным в какой-то мере изменять окружение/интерпретатор по мере выполнения программы. У этого утверждения есть серьёзное последствие. Создание IDЕ, в том виде, как привыкли для Pascal, C, Java и даже C++ -- скорей невозможно. Равно как и невозможен разбор/анализ программы со стороны IDE. Программа не будет понятна пока она не запустится, в общем случае. В частных, конечно, возможны какие-то ухищрения и упрощения создающие видимость правильно работы IDE, но повторюсь, в общем случае такую IDE практически невозможно создать. Либо можно сильно ограничить программиста и превратить скриптовый язык в подобие паскаля, например. И тогда программа сразу станет легко анализируемой. Ещё одним препятствием к созданию типичной IDE для скриптовых языков является отладчик. Пошаговая отладка, в привычном для Pascal/C программистов скорей невозможна. Верней не так. Пошаговое исполнение-то в какой-то мере возможно (оно, скорей, ограничено по техническим причинам: обычно нет возможности поставить точку останова на строку, но зато есть другие странные возможности, например, слежение за изменениями переменных, переход в режим интерпретатора и ручное исполнение кода...), но само восприятие подобной программы должно быть несколько иным. Как относиться к тому факту, что одна функция может поменять текст другой функции, или написать третью функцию, переименовать четвёртую, удалить пятую, да и с переменными поступить примерно так же? Ибо функция не больше, ни меньше, а что-то вроде переменной хранящей текст. Пусть и параллельно хранится скомпилированный машинный код, это лишь временная сущность перегенерируемая при каждом изменении текста функции. Развитых IDE для таких языков, в том виде как это есть для Pascal/C нет, есть отладчики, но они специфические для Pascal/C программиста. Если отвечать на изначально заданный вопрос, то лидером в создании хоть каких-то IDE для скриптовых языков является фирма ActiveState. Komodo IDE работает с основными (Tcl, Python, Perl, PHP) скриптовыми языками. Собственно и сами интерпретаторы данной фирмы вполне осмысленны, если нужно установить на Windwos -- в дистрибутиве обычно широкий набор библиотек, документация, и всё работает из коробки. На Linux смысла особого нет, но тоже можно установить не версии из дистрибутива, а версии от ActiveState. Выше а говорил, про метапрограммирование в C++. Это отдельная очень интересная история. В языке C++ в последние 15 лет произошли очень серьёзные и интересные изменение и практически сейчас рождается новый язык с очень интересными свойствами и не имеющий в общем-то аналогов. Многие может неправильно воспринимают C++, прочитав в какой-то книге 90-х годов, что это мол объектно-ориентированный язык. Нет! Это лишь одна из парадигм программирования реализуемая в этом языке, и это была главенствующая парадигма в C++ в момент его создания, в 90-х годах. Но сейчас всё не так. C++ давно сильно изменился, возможности ООП конечно остались, но они уже не являются главным свойстом языке. Главное свойство современного C++ -- метапрограммирование. Причём метапрограмирование на несколько другом уровне, может быть на более высоком, чем позволяют современные скриптовые языки. Эту возможность C++ получил, что удивительно, практически случайно. Ещё на ранних этапах разработки потребовались обощённые функции, их тяжело/невозможно было сделать средствами C-препроцессора и появились шаблоны. Они не создавались как средство программирования для программирования, даже по названию ясно что суть шаблона просто подставить некоторые значения "по шаблону". Именно то что нужно для обобщённой функции. Кстати язык C, в стандарте C11, пошёл именно по этому пути создав именно обощённые функции. Когда подразумевается подстановка, а не когда поведение программы может быть каким угодно разным в зависимости от типа. Вторым важным свойством C++ является типизация. Нет, тип это не способ представления данных в машинной памяти, не их размер. Тип это нечто другое. Просто опять же само понятие типа произошло от разных машинных типов данных, от способа представления классов или структур. Но настоящая суть типа в другом. Я думаю, понятие типа или класса как формы представления данных в памяти, как сущности которая может быть воплощена (инстанцирована в памяти), и понятие типа как некой высшей невоплощаемой сущности имеющей смысл в момент компиляции будет рано или поздно разделено. Важно что невоплощаемый тип может обладать разными свойствами и другими типами, управляющими работой компилятора и в конечном счёте генерацией кода. Фактически типы -- это отдельное пространство имён существующее только в компиляторе и в его рамках возможно программирование программ. Причём не в терминах набора символов, как это осуществляется в скриптовых языках, а в терминах тех понятий которыми уже изначально оперирует компилятор. Это большой шаг вперёд, и надо сказать современная C++ библиотека, например в последнее время (последние лет 10) тоже широко шагнула вперёд. Надо заметить и constepxr функции тоже большой шаг, но немного в другом направлении. Если метапрограммирование на уровне типов оперирует понятиями самого языка программирования, то constexpr функции оперируют понятием данных которыми же потом может оперировать уже запущенная программа, соответственно в ряде случаев возможно произвести какие-то операции над данными ещё в момент компиляции, а не в рантайме. И самое главное, в отличии от скриптовых языков C++ всё ещё возможно разобрать в рамках IDE. Сложно, много проблем, сложность парсера сопоставима с компилятором, скорей даже просто нужно использовать для этого компилятор. Но всё ещё возможно. А скриптовые языки понять наболюдением со стороны невозможно, только через исполнение.