Классификация языков программирования

На заре компьютерной эры машинный код был единственным средством общения человека с компьютером. Огромным достижением создателей языков программирования было то, что они сумели заставить сам компьютер работать переводчиком с этих языков на машинный код.

Существующие языки программирования можно разделить на две группы: процедурные и непроцедурные (см. рис. 4.1).

Процедурные (или алгоритмические) программы представляют из себя систему предписаний для решения конкретной задачи. Роль компьютера сводится к механическому выполнению этих предписаний.

Процедурные языки разделяют на языки низкого и высокого уровня.

Разные типы процессоров имеют разные наборы команд. Если язык программирования ориентирован на конкретный тип процессора и учитывает его особенности, то он называется языком программирования низкого уровня.
Имеется в виду, что операторы языка близки к машинному коду и ориентированы на конкретные команды процессора.

Рис. 4.1. Общая классификация языков программирования

Языки низкого уровня (машинно-ориентированные) позволяют создавать программы из машинных кодов, обычно в шестнадцатеричной форме. С ними трудно работать, но созданные с их помощью высококвалифицированным программистом программы занимают меньше места в памяти и работают быстрее. С помощью этих языков удобнее разрабатывать системные программы, драйверы (программы для управления устройствами компьютера), некоторые другие виды программ.

Языком низкого уровня (машинно-ориентированным) является Ассемблер , который просто представляет каждую команду машинного кода, но не в виде чисел, а с помощью условных символьных обозначений, называемых
мнемониками.

С помощью языков низкого уровня создаются очень эффективные и компактные программы, так как разработчик получает доступ ко всем возможностям процессора.

Языки программирования высокого уровня значительно ближе и понятнее человеку, нежели компьютеру. Особенности конкретных компьютерных архитектур в них не учитываются, поэтому создаваемые программы на уровне исходных текстов легко переносимы на другие платформы, для которых создан транслятор этого языка. Разрабатывать программы на языках высокого уровня с помощью понятных и мощных команд значительно проще, а ошибок при создании программ допускается гораздо меньше.

Основное достоинство алгоритмических языков высокого уровня - возможность описания программ решения задач в форме, максимально удобной для восприятия человеком. Но так как каждое семейство ЭВМ имеет свой собственный, специфический внутренний (машинный) язык и может выполнять лишь те команды, которые записаны на этом языке, то для перевода исходных программ на машинный язык используются специальные программы-трансляторы.

Работа всех трансляторов строится по одному из двух принципов: интерпретация или компиляция.

Интерпретация подразумевает пооператорную трансляцию и последующее выполнение оттранслированного оператора исходной программы. В связи с этим можно отметить два недостатка метода интерпретации: во-первых, интерпретирующая программа должна находиться в памяти ЭВМ в течение всего процесса выполнения исходной программы, т. е. занимать определенный объем памяти; во-вторых, процесс трансляции одного и того же оператора повторяется столько раз, сколько раз должна исполняться эта команда в программе, что резко снижает производительность работы программы.

Несмотря на указанные недостатки, трансляторы-интерпретаторы получили достаточное распространение, так как они удобны при разработке и отладке исходных программ.

При компиляции процессы трансляции и выполнения разделены во времени: сначала исходная программа полностью переводится на машинный язык (после чего наличие транслятора в оперативной памяти становится ненужным), а затем оттранслированная программа может многократно исполняться. Следовательно, для одной и той же программы трансляция методом компиляции обеспечивает более высокую производительность вычислительной системы при сокращении требуемой оперативной памяти.

Большая сложность в разработке компилятора по сравнению с интерпретатором с того же самого языка объясняется тем, что компиляция программы включает два действия: анализ, т. е. определение правильности записи исходной программы в соответствии с правилами построения языковых конструкций входного языка, и синтез – генерирование эквивалентной программы в машинных кодах. Трансляция методом компиляции требует неоднократного «просмотра» транслируемой программы, т. е. трансляторы-компиляторы являются многопроходными: при первом проходе они проверяют корректность синтаксиса языковых конструкций отдельных операторов независимо друг от друга, при последующем проходе – корректность синтаксических взаимосвязей между операторами и т. д.

Полученная в результате трансляции методом компиляции программа называется объектным модулем , который представляет собой эквивалентную программу в машинных кодах, но не «привязанную» к конкретным адресам оперативной памяти. Поэтому перед исполнением объектный модуль должен быть обработан специальной программой операционной системы (редактором связей – Link) и преобразован в загрузочный модуль .

Наряду с рассмотренными выше трансляторами-интерпретаторами и трансляторами-компиляторами на практике используются также трансляторы интерпретаторы-компиляторы, которые объединяют в себе достоинства обоих принципов трансляции: на этапе разработки и отладки программ транслятор работает в режиме интерпретатора, а после завершения процесса отладки исходная программа повторно транслируется в объектный модуль (т. е. уже методом компиляции). Это позволяет значительно упростить и ускорить процесс составления и отладки программ, а за счет последующего получения объектного модуля обеспечить более эффективное исполнение программы.

Классическое процедурное программирование требует от программиста детального описания того, как решать задачу, т. е. формулировки алгоритма и его специальной записи. При этом ожидаемые свойства результата обычно не указываются. Основные понятия языков этих групп – оператор и данные.
При процедурном подходе операторы объединяются в группы – процедуры. Структурное программирование в целом не выходит за рамки этого направления, оно лишь дополнительно фиксирует некоторые полезные приемы
технологии программирования.

Принципиально иное направление в программировании связано с методологиями (иногда говорят «парадигмами») непроцедурного программирования. К ним можно отнести объектно-ориентированное и декларативное программирование. Объектно-ориентированный язык создает окружение в виде множества независимых объектов. Каждый объект ведет себя подобно отдельному компьютеру, их можно использовать для решения задач как «черные ящики», не вникая во внутренние механизмы их функционирования. Из языков объектного программирования, популярных среди профессионалов, следует назвать прежде всего Си++, для более широкого круга программистов предпочтительны среды типа Delphi и Visual Basic.

При использовании декларативного языка программист указывает исходные информационные структуры, взаимосвязи между ними и то, какими свойствами должен обладать результат. При этом процедуру его получения («алгоритм») программист не строит (по крайней мере, в идеале). В этих языках отсутствует понятие «оператор» («команда»). Декларативные языки можно подразделить на два семейства – логические (типичный представитель – Пролог) и функциональные (Лисп).

Охарактеризуем наиболее известные языки программирования.

1.Фортран (FORmula TRANslating system – система трансляции формул); старейший и по сей день активно используемый в решении задач математической ориентации язык. Является классическим языком для программирования на ЭВМ математических и инженерных задач

2.Бейсик (Beginner"s All-purpose Symbolic Instruction Code – универсальный символический код инструкций для начинающих); несмотря на многие недостатки и изобилие плохо совместимых версий – самый популярный по числу пользователей. Широко употребляется при написании простых программ.

3.Алгол (ALGOrithmic Language – алгоритмический язык); сыграл большую роль в теории, но для практического программирования сейчас почти не используется.

4.ПЛ/1 (PL/1 Programming Language – язык программирования первый); многоцелевой язык; сейчас почти не используется.

5.Паскаль (Pascal – назван в честь ученого Блеза Паскаля); чрезвычайно популярен как при изучении программирования, так и среди профессионалов. Создан в начале 70-х годов швейцарским ученым Никлаусом Виртом. Язык Паскаль первоначально разрабатывался как учебный, и, действительно, сейчас он является одним из основных языков обучения программированию в школах и вузах. Однако качества его в совокупности оказались столь высоки, что им охотно пользуются и профессиональные программисты. Не менее впечатляющей, в том числе и финансовой, удачи добился Филип Кан, француз, разработавший систему Турбо-Паскаль. Суть его идеи состояла в объединении последовательных этапов обработки программы – компиляции, редактирования связей, отладки и диагностики ошибок – в едином интерфейсе. Версии Турбо-Паскаля заполонили практически все образовательные учреждения, программистские центры и частные фирмы. На базе языка Паскаль созданы несколько более мощных языков (Модула, Ада, Дельфи).

6.Кобол (COmmon Business Oriented Language – язык, ориентированный на общий бизнес); в значительной мере вышел из употребления. Был задуман как основной язык для массовой обработки данных в сферах управления
и бизнеса.

7.АДА ;является языком, победившим (май 1979 г.) в конкурсе по разработке универсального языка, проводимым Пентагоном с 1975 году. Разработчики – группа ученых во главе с Жаном Ихбиа. Победивший язык окрестили АДА, в честь Огасты Ады Лавлейс. Язык АДА – прямой наследник языка
Паскаль. Этот язык предназначен для создания и длительного (многолетнего) сопровождения больших программных систем, допускает возможность параллельной обработки, управления процессами в реальном времени и многое другое, чего трудно или невозможно достичь средствами более простых языков.

8.Си (С – «си»); широко используется при создании системного программного обеспечения. Наложил большой отпечаток на современное программирование (первая версия – 1972 г.), является очень популярным в среде разработчиков систем программного обеспечения (включая операционные системы). Си сочетает в себе черты как языка высокого уровня, так и машинно-ориентированного языка, допуская программиста ко всем машинным ресурсам, чего не обеспечивают такие языки, как Бейсик и Паскаль.

9.Си++ (С++);объектно-ориентированное расширение языка Си, созданное Бьярном Страуструпом в 1980 году. Множество новых мощных возможностей, позволивших резко повысить производительность программистов, наложилось на унаследованную от языка Си определенную низкоуровневость.

10.Дельфи (Delphi); язык объектно-ориентированного «визуального» программирования; в данный момент чрезвычайно популярен. Созданный на базе языка Паскаль специалистами фирмы Borland язык Delphi, обладая мощностью и гибкостью языков Си и Си++, превосходит их по удобству и простоте интерфейса при разработке приложений, обеспечивающих взаимодействие с базами данных и поддержку различного рода работ в рамках корпоративных сетей и сети Интернет.

11.Ява (Java); платформенно-независимый язык объектно-ориентированного программирования, чрезвычайно эффективен для создания интерактивных веб-страниц. Этот язык был создан компанией Sun в начале 90-х годов на основе СИ++. Он призван упростить разработку приложений на основе Си++ путем исключения из него всех низкоуровневых возможностей.

12.Лисп (Lisp) – функциональный язык программирования. Ориентирован на структуру данных в форме списка и позволяет организовать эффективную обработку больших объемов текстовой информации.

13.Пролог (PROgramming in LOGic – логическое программирование). Главное назначение языка – разработка интеллектуальных программ и систем. Пролог – это язык программирования, созданный специально для работы с базами знаний, основанными на фактах и правилах (одного из элементов систем искусственного интеллекта). В языке реализован механизм возврата для выполнения обратной цепочки рассуждений, при котором предполагается, что некоторые выводы или заключения истинны, а затем эти предположения проверяются в базе знаний, содержащей факты и правила логического вывода.
Если предположение не подтверждается, выполняется возврат и выдвигается новое предположение. В основу языка положена математическая модель теории исчисления предикатов.

Языки программирования для Интернета:

1. HTML. Общеизвестный язык для оформления документов. Он очень прост и содержит элементарные команды форматирования текста, добавления рисунков, задания шрифтов и цветов, организации ссылок и таблиц.

2. PERL. Он задумывался как средство эффективной обработки больших текстовых файлов, генерации текстовых отчетов и управления задачами.
По мощности Perl значительно превосходит языки типа Си. В него введено много часто используемых функций работы со строками, массивами, управление процессорами, работа с системной информацией.

3. Tcl/Tk. Этот язык ориентирован на автоматизацию рутинных процессов и состоит из мощных команд. Он независим от системы и при этом позволяет создавать программы с графическим интерфейсом.

4. VRML. Создан для организации виртуальных трехмерных интерфейсов в Интернете. Он позволяет описывать в текстовом виде различные трехмерные сцены, освещение и тени, текстуры.

Выбор языка программирования зависит от многих факторов: назначения, удобства написания исходных программ, эффективности получаемых объектных программ и т. п. Разнотипность решаемых компьютером задач и определяет многообразие языков программирования.

Контрольные вопросы

1. Что такое системы программирования и к какому классу программ они относятся?

2. Что входит в состав систем программирования?

3. На каком языке программирования создавались первые программы?

4. На какие языки подразделяются процедурные языки?

5. Охарактеризуйте языки низкого уровня.

6. Какой язык относится к языку низкого уровня?

7. Достоинства языков низкого уровня.

8. Охарактеризуйте языки высокого уровня.

9. Достоинства языков высокого уровня.

10. Приведите примеры языков высокого уровня.

11. Для чего предназначены трансляторы?

12. Чем отличается компилятор от интерпретатора?

13. Недостатки интерпретации (как вид транслятора).

14. Что представляет собой процесс компиляции программы?

15. Какие действия выполняются при компиляции?

16. Чем отличается загрузочный модуль от объектного?

17. Чем отличается процедурное программирование от непроцедурного?

18. Какие виды программирования относятся к непроцедурному
программированию?

19. Особенность декларативных языков.

20. Охарактеризуйте кратко языки программирования: Фортран, Бейсик, Паскаль, Кобол.

21. Охарактеризуйте кратко языки программирования: Ада, Си, Си++, Delphi, Java.

22. Приведите примеры объектно-ориентированных языков.

23. К какому классу языков относится язык Лисп?

24. К какому классу языков относится язык Пролог?

Пользователи Recoursia часто задаются вопросом, какой язык программирования стоит изучать. Мы подготовили краткий гид для тех, кто определяется с первым языком программирования. Хотим отметить, что он не претендует на то, чтобы быть исчерпывающим – это только очень беглый взгляд на то, чем сегодня занимаются разработчики, и какой язык программирования может быть первым, а какой – нет.

Один из достаточно популярных языков Web-программирования, который, в прочем, на белорусском рынке труда не всегда способен обеспечить своего носителя топовым по заработной плате рабочим местом. Курсы Ruby вряд ли стоит изучать для освоения первого языка программирования, потому что с высокой долей вероятности поиски работодателя затянутся, ведь вакансии для junoir’ов на Ruby появляются довольно редко.

Еще пять-семь лет назад именно Delphi был стандартным первым языком программирования - еще бы, ведь язык Pascal, который является предшественником Delphi , и был придуман для обучения школьников и студентов программированию. Но для реальной жизни Delphi уже подходит из рук вон плохо, поскольку программирование на нём оплачивается заметно ниже среднего, а новых крупных проектов на этом языке вы не найдете. Поэтому рекомендовать

Программирование - это целая наука, позволяющая создавать компьютерные программы. Она включает в себя огромное количество различных операций и алгоритмов, которые образуют единый язык программирования. Итак, что же это такое и какими бывают языки программирования? В статье даны ответы, а также приведен обзорный список языков программирования.

Историю возникновения и изменения программных языков следует изучать наравне с историей развития компьютерных технологий, ведь эти понятия связаны между собой напрямую. Без языков программирования невозможно было бы создать никакую программу для работы компьютера, а значит, создание вычислительных машин стало бы бессмысленным занятием.

Первый машинный язык был придуман в 1941 году Конрадом Цузе, который является изобретателем аналитической машины. Чуть позже, в 1943 г., Говард Эйкен создал машину "Марк-1", способную считывать инструкцию на уровне машинного кода.

В 1950-х годах начался активный спрос на разработку программного обеспечения, а машинный язык не выдерживал большие объемы кода, поэтому был создан новый способ общения с компьютерами. "Ассемблер" является первым мнемоническим языком, заменившим машинные команды. С годами список языков программирования только увеличивается, ведь область применения компьютерных технологий становится обширнее.

Классификация языков программирования

На данный момент существует более 300 языков программирования. Каждый из них имеет свои особенности и подходит для одной определенной задачи. Все языки программирования можно условно разделить на несколько групп:

• Аспектно-ориентированные (основная идея - разделение функциональности для увеличения эффективности программных модулей).
• Структурные (в основе лежит идея создания иерархической структуры отдельных блоков программы).
• Логические (в основе лежит теория аппарата математической логики и правил резолюции).
• Объектно-ориентированные (в таком программировании используются уже не алгоритмы, а объекты, которые принадлежат определенному классу).
• Мультипарадигмальные (сочетают в себе несколько парадигм, и программист сам решает, каким языком воспользоваться в том или ином случае).
• Функциональные (в качестве основных элементов выступают функции, которые меняют значение в зависимости от результатов вычислений исходных данных).

Программирование для начинающих

Многие задаются вопросом, что же такое программирование? По сути, это способ общения с компьютером. Благодаря языкам программирования мы можем ставить перед различными устройствами определенные задачи, создавая специальные приложения или программы. При изучении данной науки на начальном этапе самое главное - это выбрать подходящие (интересные для вас) языки программирования. Список для начинающих приведен ниже:

• Basic придуман в 1964 году, относится к семейству высокоуровневых языков и используется для написания прикладных программ.
• Python ("Питон") довольно легко выучить благодаря простому читаемому синтаксису, преимущество же в том, что на нем можно создавать как обычные десктопные программы, так и веб-приложения.
• Pascal ("Паскаль") - один из древнейших языков (1969 г.), созданных для обучения студентов. Его современная модификация имеет строгую типизацию и структурированность, однако "Паскаль" - вполне логичный язык, который понятен на интуитивном уровне.

Это не полный список языков программирования для начинающих. Существует огромное количество синтаксисов, которые доступны для понимания, и обязательно будут востребованы в ближайшие годы. Каждый вправе самостоятельно выбрать то направление, которое будет интересным для него.

Новички имеют возможность ускорить изучение программирования и его основ благодаря специальным инструментам. Основной помощник - это интегрированная среда разработки программ и приложений Visual Basic («Визуал Бейсик» одновременно является и языком программирования, который унаследовал стиль языка Basic 1970-х годов).

Уровни языков программирования

Все формализованные языки, предназначенные для создания, описания программ и алгоритмов для решения задач на компьютерах, делятся на две основных категории: языки программирования низкого уровня (список приведен ниже) и высокого уровня. Поговорим о каждом из них отдельно.

Низкоуровневые языки предназначены для создания машинных команд для процессоров. Главное их преимущество в том, что они используют мнемонические обозначения, т. е. вместо последовательности нулей и единиц (из двоичной системы счисления) компьютер запоминает осмысленное сокращенное слово из английского языка. Самые известные языки низкого уровня - это "Ассемблер" (существует несколько подвидов этого языка, каждый из которых имеет много общего, а отличается лишь набором дополнительных директив и макросов), CIL (доступен в платформе.Net) и Байт-код JAVA.

Языки программирования высокого уровня: список

Высокоуровневые языки созданы для удобства и большей эффективности приложений, они являются полной противоположностью низкоуровневых языков. Их отличительная черта - наличие смысловых конструкций, которые емко и кратко описывают структуры и алгоритмы работы программ. В языках низкого уровня их описание на машинном коде было бы слишком длинным и непонятным. Языки же высокого уровня обладают независимостью от платформы. Вместо них функцию транслятора совершают компиляторы: они переводят текст программы в элементарные машинные команды.

Следующий список языков программирования: C ("Си"), C# ("Си-шарп"), "Фортран", "Паскаль", Java ("Ява") - входит в число самых используемых высокоуровневых синтаксисов. Он обладает следующими свойствами: эти языки работают с комплексными структурами, поддерживают строковые типы данных и операции с файлами ввода-вывода информации, а также имеют преимущество - с ними гораздо проще работать благодаря читабельности и понятному синтаксису.

Самые используемые языки программирования

В принципе, написать программу можно на любом языке. Вопрос в том, будет ли она работать эффективно и без сбоев? Вот почему для решения различных задач следует выбирать наиболее подходящие языки программирования. Список по популярности можно охарактеризовать так:

• языки ООП: Java, C++, Python, PHP, VisualBasic и JavaScript;
• группа структурных языков: Basic, Fortran и Pascal;
• мультипарадигмальные: C#, Delphi, Curry и Scala.

Область применения программ и приложений

Выбор языка, на котором написана та или иная программа, во многом зависит от области ее применения. Так, например, для работы с самим "железом" компьютера (написания драйверов и поддерживающих программ) лучшим вариантом станет C ("Си") или С++, которые входят в основные языки программирования (список смотрите выше). А для разработки мобильных приложений, в том числе игр, следует выбрать Java или С# ("Си-шарп").

Если вы еще не определились, в каком направлении работать, то рекомендуем начать изучение с языков C или C++. Они имеют весьма понятный синтаксис, четкое структурное разделение на классы и функции. К тому же, зная C или С++, можно с легкостью выучить любой другой язык программирования.

Учебник состоит из двух разделов: теоретического и практического. В теоретической части учебника изложены основы современной информатики как комплексной научно-технической дисциплины, включающей изучение структуры и общих свойств информации и информационных процессов, общих принципов построения вычислительных устройств, рассмотрены вопросы организации и функционирования информационно-вычислительных сетей, компьютерной безопасности, представлены ключевые понятия алгоритмизации и программирования, баз данных и СУБД. Для контроля полученных теоретических знаний предлагаются вопросы для самопроверки и тесты. Практическая часть освещает алгоритмы основных действий при работе с текстовым процессором Microsoft Word, табличным редактором Microsoft Excel, программой для создания презентаций Microsoft Power Point, программами-архиваторами и антивирусными программами. В качестве закрепления пройденного практического курса в конце каждого раздела предлагается выполнить самостоятельную работу.

Книга:

Разделы на этой странице:

8.2. Языки программирования

Виды программирований

Прогресс компьютерных технологий определил процесс появления новых разнообразных знаковых систем для записи алгоритмов – языков программирования. Смысл появления такого языка – оснащенный набор вычислительных формул дополнительной информации, что превращает данный набор в алгоритм.

Языки программирования – это искусственно созданные языки. От естественных они отличаются ограниченным числом «слов» и очень строгими правилами записи команд (операторов). Совокупность подобных требований образует синтаксис языка программирования, а смысл каждой команды и других конструкций языка – его семантику.

Языки программирования – это формальные языки общения человека с ЭВМ, предназначенные для описания совокупности инструкций, выполнение которых обеспечивает правильное решение требуемой задачи. Их основная роль заключается в планировании действий по обработке информации. Любой язык программирования основан на системе понятий, и уже с ее помощью человек может выражать свои соображения.

Связь между языком, на котором мы думаем/программируем, и задачами и решениями, которые мы можем представлять в своем воображении, очень близка. По этой причине ограничивать свойства языка только целями исключения ошибок программиста в лучшем случае опасно. Как и в случае с естественными языками, есть огромная польза быть по крайней мере двуязычным. Язык предоставляет программисту набор концептуальных инструментов, если они не отвечают задаче, то их просто игнорируют. Например, серьезные ограничения концепции указателя заставляют программиста применять вектора и целую арифметику, чтобы реализовать структуры, указатели и т. п. Хорошее проектирование и отсутствие ошибок не может гарантироваться чисто за счет языковых средств.

Может показаться удивительным, но конкретный компьютер способен работать с программами, написанными на его родном машинном языке. Существует почти столько же разных машинных языков, сколько и компьютеров, но все они суть разновидности одной идеи – простые операции производятся со скоростью молнии на двоичных числах.

Машиннозависимые языки программирования

Машиннозависимые языки – это языки, наборы операторов и изобразительные средства которых существенно зависят от особенностей ЭВМ (внутреннего языка, структуры памяти и т. д.). Эти языки называются языками программирования низкого уровня. Они ориентированы на конкретный тип процессора и учитывают его особенности. Операторы такого языка близки к машинному коду и ориентированы на конкретные команды процессора, то есть данный язык является машинно зависимым. Языком низкого уровня является язык Ассемблер. С его помощью создаются очень эффективные и компактные программы, так как разработчик получает доступ ко всем возможностям процессора. Подобные языки применяются для написания небольших системных приложений, драйверов устройств, библиотек. В тех случаях, когда объем ОЗУ и ПЗУ мал (в районе нескольких килобайт) альтернативы ассемблеру нет. Именно эти языки программирования позволяют получать самый короткий и самый быстродействующий код программы.

Машиннонезависимые языки программирования

Машиннонезависимые языки – это средство описания алгоритмов решения задач и информации, подлежащей обработке. Они удобны в использовании для широкого круга пользователей и не требуют от них знания особенностей организации функционирования ЭВМ и вычислительной системы.

Подобные языки получили название высокоуровневых языков программирования. Программы, составляемые на таких языках, представляют собой последовательности операторов, структурированные согласно правилам рассматривания языка (задачи, сегменты, блоки и т. д.). Операторы языка описывают действия, которые должна выполнять система после трансляции программы на машинный язык.

Командные последовательности (процедуры, подпрограммы), часто используемые в машинных программах, представлены в высокоуровневых языках отдельными операторами. Программист получил возможность не расписывать в деталях вычислительный процесс на уровне машинных команд, а сосредоточиться на основных особенностях алгоритма.

Языки программирования высокого уровня значительно ближе и понятнее человеку. В них не учитываются особенности конкретных компьютерных архитектур, то есть данные языки являются машиннонезависимыми. Это позволяет использовать однажды записанную на таком языке программу на различных ЭВМ.

Можно писать программы непосредственно на машинном языке, хотя это и сложно. На заре компьютеризации (в начале 1950-х гг.) машинный язык был единственным языком, большего человек к тому времени не придумал. Для спасения программистов от сурового машинного языка программирования были созданы языки высокого уровня (т. е. немашинные языки), которые стали своеобразным связующим мостом между человеком и машинным языком компьютера. Языки высокого уровня работают через трансляционные программы, которые вводят «исходный код» (гибрид английских слов и математических выражений, который считывает машина) и в конечном итоге заставляют компьютер выполнять соответствующие команды, которые даются на машинном языке.

К языкам программирования высокого уровня можно отнести следующие: Fortran, Cobol, Algol, Pascal, Basic, C, C++, Java, HTML, Perl и другие.

С помощью языка программирования создается не готовая программа, а только ее текст, описывающий ранее разработанный алгоритм. Чтобы получить работающую программу, надо либо автоматически перевести этот текст в машинный код и затем использовать отдельно от исходного текста, либо сразу выполнять команды языка, указанные в тексте программы. Для этого используются программы-трансляторы.

Существует два основных вида трансляторов (рис. 8.4): интерпретаторы, которые сканируют и проверяют исходный код в один шаг, и компиляторы, сканирующие исходный код для производства текста программы на машинном языке, которая затем выполняется отдельно.

Рисунок 8.4. Виды трансляторов

При использовании компиляторов весь исходный текст программы преобразуется в машинные коды, и именно эти коды записываются в память микропроцессора. При использовании интерпретатора в память микропроцессора записывается исходный текст программы, а трансляция производится при считывании очередного оператора. Естественно, что быстродействие интерпретаторов намного ниже по сравнению с компиляторами, т. к. при использовании оператора в цикле он транслируется многократно. Однако при программировании на языке высокого уровня объем кода, который нужно хранить во внутренней памяти, может быть значительно меньше по сравнению с исполняемым кодом. Еще одним преимуществом применения интерпретаторов является легкая переносимость программ с одного процессора на другой.

Одно, часто упоминаемое преимущество интерпретаторной реализации состоит в том, что она допускает «непосредственный режим». Непосредственный режим позволяет вам задавать компьютеру задачу и возвращает вам ответ, как только вы нажмете клавишу ENTER. Кроме того, интерпретаторы имеют специальные атрибуты, которые упрощают отладку. Можно, например, прервать обработку интерпретаторной программы, отобразить содержимое определенных переменных, бегло просмотреть программу, а затем продолжить исполнение. Однако интерпретаторные языки имеют недостатки. Необходимо, например, иметь копию интерпретатора в памяти все время, тогда как многие возможности интерпретатора, а следовательно, и его возможности могут не быть необходимыми для исполнения конкретной программы. При исполнении программных операторов интерпретатор должен сначала сканировать каждый оператор с целью прочтения его содержимого (что этот человек просит меня сделать?), а затем выполнить запрошенную операцию. Операторы в циклах сканируются излишне много.

Компилятор – это транслятор текста на машинный язык, который считывает исходный текст. Он оценивает его в соответствии с синтаксической конструкцией языка и переводит на машинный язык. Другими словами, компилятор не исполняет программы, он их строит. Интерпретаторы невозможно отделить от программ, которые ими прогоняются, компиляторы делают свое дело и уходят со сцены. При работе с компилирующим языком, таким, как Турбо-Бейсик, вы придете к необходимости мыслить о ваших программах в признаках двух главных фаз их жизни: периода компилирования и периода прогона. Большинство программ будут прогоняться в четыре – десять раз быстрее их интерпретаторных эквивалентов. Если вы поработаете над улучшением, то сможете достичь 100-кратного повышения быстродействия. Оборотная сторона монеты состоит в том, что программы, расходующие большую часть времени на возню с файлами на дисках или ожидание ввода, не смогут продемонстрировать какое-то впечатляющее увеличение скорости.

Процесс создания программы называется программированием.

Выделяют несколько разновидностей программирования.

Алгоритмическое или модульное

Основная идея алгоритмического программирования – разбиение программы на последовательность модулей, каждый из которых выполняет одно или несколько действий. Единственное требование к модулю – чтобы его выполнение всегда начиналось с первой команды и всегда заканчивалось на самой последней (то есть чтобы нельзя было попасть на команды модуля извне и передать управление из модуля на другие команды в обход заключительной).

Алгоритм на выбранном языке программирования записывается с помощью команд описания данных, вычисления значений и управления последовательностью выполнения программы.

Текст программы представляет собой линейную последовательность операторов присваивания, цикла и условных операторов. Таким способом можно решать не очень сложные задачи и составлять программы, содержащие несколько сот строк кода. После этого понятность исходного текста резко падает из-за того, что общая структура алгоритма теряется за конкретными операторами языка, выполняющими слишком детальные, элементарные действия. Возникают многочисленные вложенные условные операторы и операторы циклов, логика становится совсем запутанной, при попытке исправить один ошибочный оператор вносится несколько новых ошибок, связанных с особенностями работы этого оператора, результаты выполнения которого нередко учитываются в самых разных местах программы.

Структурное программирование

При создании средних по размеру приложений (несколько тысяч строк исходного кода) используется структурное программирование, идея которого заключается в том, что структура программы должна отражать структуру решаемой задачи, чтобы алгоритм решения был ясно виден из исходного текста. Для этого надо иметь средства для создания программы не только с помощью трех простых операторов, но и с помощью средств, более точно отражающих конкретную структуру алгоритма. С этой целью в программирование введено понятие подпрограммы – набора операторов, выполняющих нужное действие и не зависящих от других частей исходного кода. Программа разбивается на множество мелких подпрограмм (занимающих до 50 операторов – критический порог для быстрого понимания цели подпрограммы), каждая из которых выполняет одно из действий, предусмотренных исходным заданием. Комбинируя эти подпрограммы, удается формировать итоговый алгоритм уже не из простых операторов, а из законченных блоков кода, имеющих определенную смысловую нагрузку, причем обращаться к таким блокам можно по названиям. Получается, что подпрограммы – это новые операторы или операции языка, определяемые программистом.

Возможность применения подпрограмм относит язык программирования к классу процедурных языков.

Наличие подпрограмм позволяет вести проектирование и разработку приложения сверху вниз – такой подход называется нисходящим проектированием. Сначала выде ляется несколько подпрограмм, решающих самые глобальные задачи (например, инициализация данных, главная часть и завершение), потом каждый из этих модулей детализируется на более низком уровне, разбиваясь, в свою очередь, на небольшое число других подпрограмм, и так происходит до тех пор, пока вся задача не окажется реализованной.

Такой подход удобен тем, что позволяет человеку постоянно мыслить на предметном уровне, не опускаясь до конкретных операторов и переменных. Кроме того, появляется возможность некоторые не реализовывать сразу подпрограммы, а временно откладывать, пока не будут закончены другие части. Например, если имеется необходимость вычисления сложной математической функции, то выделяется отдельная подпрограмма такого вычисления, но реализуется она временно одним оператором, который просто присваивает заранее выбранное значение. Когда все приложение будет написано и отлажено, тогда можно приступить к реализации этой функции.

Немаловажно, что небольшие подпрограммы значительно проще отлаживать, что существенно повышает общую надежность всей программы.

Очень важная характеристика подпрограмм – это возможность их повторного использования. С интегрированными системами программирования поставляются большие библиотеки стандартных подпрограмм, которые позволяют значительно повысить производительность труда за счет использования чужой работы по созданию часто применяемых подпрограмм.

Подпрограммы бывают двух видов – процедуры и функции. Отличаются они тем, что процедура просто выполняет группу операторов, а функция вдобавок вычисляет некоторое значение и передает его обратно в главную программу (возвращает значение). Это значение имеет определенный тип (говорят, что функция имеет такой-то тип).

Подпрограммы решают три важные задачи:

Избавляют от необходимости многократно повторять в тексте программы аналогичные фрагменты;

Улучшают структуру программы, облегчая ее понимание;

Повышают устойчивость к ошибкам программирования и непредвидимым последствиям при модификациях программы.

Объектно-ориентированное программирование

В середине 80-х годов в программировании возникло новое направление, основанное на понятии объекта. До того времени основные ограничения на возможность создания больших систем накладывала разобщенность в программе данных и методов их обработки.

Реальные объекты окружающего мира обладают тремя базовыми характеристиками: они имеют набор свойств, способны разными методами изменять эти свойства и реагировать на события, возникающие как в окружающем мире, так и внутри самого объекта. Именно в таком виде в языках программирования и реализовано понятие объекта как совокупности свойств (структур данных, характерных для этого объекта), методов их обработки (подпрограмм изменения свойств) и событий, на которые данный объект может реагировать и которые приводят, как правило, к изменению свойств объекта.

Появление возможности создания объектов в программах качественно повлияло на производительность труда программистов. Максимальный объем приложений, которые стали доступны для создания группой программистов из 10 человек, за несколько лет увеличился до миллионов строк кода, при этом одновременно удалось добиться высокой надежности программ и, что немаловажно, повторно использовать ранее созданные объекты в других задачах.

Объекты могут иметь идентичную структуру и отличаться только значениями свойств. В таких случаях в программе создается новый тип, основанный на единой структуре объекта. Он называется классом, а каждый конкретный объект, имеющий структуру этого класса, называется экземпляром класса.

Объектно-ориентированный язык программирования характеризуется тремя основными свойствами.

Разные языки программирования и их области применения. Лекция в Яндексе

Наш первый пост в этом году мы решили посвятить очень базовой теме, лекция на которую была прочитана в Малом ШАДе. Занимаются в нём старшеклассники, которым интересны технологии, отсюда специфичность изложения - лекция будет особенно интересна тем, кто только начинает программировать и задумывается о том, в каком направлении развиваться. Для них же у Яндекса есть курс «Введение в программирование (С++)» , который можно пройти на платформе Stepic.org.

Лектор Михаил Густокашин - куратор академических программ Яндекса, директор центра студенческих олимпиад факультета компьютерных наук ВШЭ. Михаил подготовил десятки победителей и призёров Всероссийских олимпиад по программированию.

В рамках лекции рассказывается о том, какие бывают языки программирования, чем они отличаются, как они появились и какие из них лучше, а какие - хуже. В начале речь немного пойдет об истории языков - как они появились, как люди начали программировать, как все развивалось, что сейчас происходит. Во второй части будет затронуто то, для каких задач какой язык подходит, как «выбрать себе любимый язык и получать удовольствие от жизни». Лектор также немного расскажет о том, как, по его мнению, всему этому научиться и потом устроиться на работу.

Как всегда, под катом - подробная расшифровка лекции, чтобы вы могли сориентироваться в ее содержании.

История языков программирования

Давайте начнём с самого начала. В самом начале у компьютеров не было даже клавиатуры! То есть всё было очень плохо - у них не было ни клавиатуры, ни экрана, были перфокарты (это такие штучечки с дырочками или с отсутствием дырочек). Соответственно, то ли штырьки туда засовывали, то ли там светом светили. Если есть дырочка (или наоборот нет) - это означало нолик или единичку. И программы в то время писали с помощью машинных кодов - у каждой операции в компьютере (сложение, вычитание, какие-то более сложные операции) был какой-то код машинный. Люди сами по табличке выбирали этот код, всякие адреса в памяти, всё это выбивали руками и засовывали в считыватель - и оно всё считалось. Конечно, работа программиста была, наверное, тогда не особо интересной - проделывать дырочки - и с развитием науки и техники, конечно, начали придумывать всякие, более «интересные» штуки. Например, ассемблер (Assembler), который уже несколько облегчал жизнь.

Ну, как он облегчал жизнь? Вместо запоминания того, что там какой-то «волшебный» код у команды, использовались всякие слова, похожие на «человеческий» английский язык - какие-нибудь add или mov - ну и затем перечислялись регистры или области памяти, переменные, с которыми нужно эти операции производить. Но понятное дело, что это в общем-то тоже требовало достаточно большого напряжения ума, чтобы держать у себя в голове, в каком регистре у нас что лежит, где какие переменные и что вообще происходит. Почему так происходило? Потому что компьютеры были «глупые» и ничего более «умного» понять не могли. Вообще-то и собрать из ассемблера машинный код тоже требует времени, памяти (по тем временам было конечно мало её).

Постепенно, становилось понятно, что разрабатывать так большие сложные программы очень сложно. Производительность программиста в этих командах была предельно низкой - то есть он писал несколько строк в день (осмысленных), и каждая строка ничего особо и не делала - какие-нибудь простые арифметические действия. И людям хотелось сделать языки гораздо более похожими на человеческий язык, на английский в частности, чтобы писать программы было легче и удобнее. И пошло-поехало!

Старые и мертвые языки

Одним из первых языков стал Fortran . Кстати, его тоже ещё выбивали на перфокартах - были специальные перфокарты для выбивания программ на Fortran’е. Но если вы сейчас возьмёте этот Fortran - по-моему, он даже где-то между 50-60 гг. появился - и попытаетесь на нём что-то написать, то вам будет очень неприятно, я вам гарантирую! Современный Fortran до сих пор живой, но уже довольно сильно отличается от того, что было раньше.

Другие языки - сейчас напишу одну штуку, о которой наверное вы если и слышали, то только на всяких мероприятиях, где рассказывают про историю программирование - это COBOL . Это был язык для написания бизнес-приложений. Что такое бизнес-приложения? Какие-нибудь транзакции в банках, еще что-то, всё это писали на Коболе. У нас, понятное дело, не очень популярен. Я думаю, программиста на Коболе, в Москве, вы найдёте с большим трудом. А где-нибудь не в Москве -- с ещё большим трудом. Но, что удивительно, ещё 10 лет назад больше половины всего кода, написанного человечеством, было написано на Коболе. И до сих пор, значительная часть всяких банковских транзакций идёт с помощью программ, написанных на нём (COBOL), и до сих пор люди на нём что-то пишут.

Есть ещё «забавный» язык, он назывался Алгол (68-я версия, что характеризует год его создания). Это алгоритмический язык. В общем, они что-то там умели, но нам сейчас не очень интересно, что они умеют. И на этом наш экскурс в древность и в относительно неиспользуемые языки можно закончить и перейти к тому, что живо до сих пор (и активно живёт).

Старые, но живые языки

Алгол придумали в Европе, а Фортраном пользовались в основном в Штатах - больших отличий нет. Какая тенденция заметна? Сначала всё было сложно и чтобы писать нужно было быть чуть ли не инженером, электротехником, понимать, где какие контакты замыкаются и ещё что-то для программирования. Потом тоже нужно было сидеть с листочками и считать память, смотреть за ней. И постепенно всё становилось проще, проще, проще и дальше ещё проще для программиста - как можно меньше думать человеку, как можно больше делать автоматически. Примерно в конце вот этого периода (лектор указывает на Алгол и Кобол) начинают появляться языки, которые в каком-то смысле «дожили» до наших дней.

BASIC . Возможно, до сих пор некоторые люди на нём что-то пишут, по крайней мере я видел, что в некоторых заведениях учат на QBasic ’е - такое синее окошко, где написано «1989». В общем, «вовсю» живёт! Он придумывался как язык для не программистов. В то время программист была такая очень специализированная профессия. А здесь тебе говорят: «Вот у нас есть классный язык Basic, и любой разумный человек возьмёт и напишет программу на нём - легко». Опять же тот Бейсик и современный Бейсик - это огромная разница. Всякие вот эти строки с нумерацией через 10, всякие GOTO и прочий ужас - они к современному Бейсику уже не имеют никакого отношения и даже к Бейсику 89-го года они имеют мало отношения.

Ещё одна забавная история - язык Паскаль , широко известный в вузовских кругах, в основном в России и в странах бывшего Советского Союза. Он использовался и продолжает использоваться на удивление как учебный язык. Во всём остальном мире он поменьше распространён, но тоже живёт и здравствует. Есть такой человек Вирт - вот он учёный, теоретик. Он участвовал в обсуждении Алгола, ему не понравилось то, что получилось, и он придумал свой язык - Pascal. А потом фирма Borland (и до этого многие другие фирмы - Apple занималась, в частности) взяли и всё испортили. У него была красивая теория, стройная - «всё будет хорошо», - а они взяли и напихали туда того, что людям нужно для работы. Ну, и получилось не так красиво, как он хотел.

И, наконец, . Си придумали инженеры. Если Паскаль придумал учёный, то Си придумали Керниган и Ритчи , они работали инженерами в Bell. Как это произошло? В то время на этих языках (лектор указывает на Fortran, COBOL, Algol) ничего системного написать было нельзя. Что такое «системное»? Например, операционную систему, драйвера какие-нибудь, ещё что-то. Эти языки предназначались для математических расчётов, для бизнес-расчётов, для всего такого. А всё остальное писали на Ассемблере . Были какие-то языки, они сейчас умерли, то есть язык Си появился не сразу от Ассемблера, а через какие-то промежуточные вещи.

Суть в чем? Керниган и Ритчи любили играть в игрушку Asteroids - летает космический корабль, и тут есть астероиды, он в них стреляет, и они разваливаются на части. У них был сервер, на котором они играли, но там было много народу, и игрушка тормозила. И они обнаружили у себя где-то в кабинете, что у них стоит какой-то компьютер, которым никто не пользуется. Но было проблема - он другой архитектуры был, а игра была написана на Ассемблере.

Они её переписали, конечно, даже впилили фичи какие-то, чтобы играть на нём. Но это навело их на мысль, что переписывать под новую архитектуру каждый раз - это не очень умно. И они решили написать такой язык высокого уровня, который будет подходить для системного программирования, то есть, в котором можно будет управлять памятью, в котором можно будет понимать где-что лежит и как обращаться к этим кусочкам памяти. И так появился язык Си, который оказал огромное влияние на всё дальнейшее. Они все (лектор показывает на Алгол, Фортран и прочие упомянутые языки) оказали большое влияние, но вот Си - прямо да…

Соответственно, это был основной язык в Unix - операционной системе, которая в то время была ещё популярнее, чем сейчас. И примерно к 80-м годам ситуация была какая-то вот такая (лектор показывает на Basic, C и прочие упомянутые языки). Допустим, что всё это у нас уже потихоньку умерло (лектор стирает упоминания об Ассемблере, Фортране и Алголе)… И в 80-е годы компьютеры стали меньше, умнее, дешевле, и людям захотелось всяких странностей, чтобы жить стало ещё лучше, жить стало ещё веселее.

Языки родом из 80-х

Одна из первых странностей - это был язык C++ . Язык C имеет огромное количество недостатков (ну просто вообще огромное) - на нём можно делать вообще всё, в том числе стрелять себе в ногу, стрелять себе в ногу с выдумкой, в другую ногу, одной ногой стрелять в другую ногу, в общем - что угодно делать. Но при этом некоторые архитектурные вещи там делаются довольно сложно - опять же, как и в Ассемблере, нам приходится всё время следить, где мы, чего и какую память выделили; она там всё время «течёт» куда-то эта память -- то есть мы выделили, забыли удалить, удалили не то, вылезли за пределы памяти, в общем - огребли кучу проблем.

C++ создавался сначала как набор дополнений к языку C, который облегчит разработку. В то время стало модно объектно-ориентированное программирование и люди решили, что всё можно описать в виде иерархии, то есть - есть у вас мячик (абстрактный), вы от него наследуете футбольный мяч, волейбольный мяч, ещё один абстрактный мяч. Тогда было модно, что «мы сейчас пишем всё в виде какой-то иерархии, и всё будет хорошо, жизнь наладится, всё станет прекрасно и всё». C++ в каком-то смысле реализовывал этот объектный подход - это не был первый язык объектно-ориентированного программирования, но он стал достаточно популярным и в нём начали появляться всякие фичи. При этом C++ сохранял почти полную совместимость (на тот момент) с языком C, программа написанная на Си в 99% случаев успешной компилировалась как C++-ная и даже работала также. Это было задумано, чтобы с Си было легко перейти на C++.

Помимо объектного подхода (в C++) достаточно быстро появилась стандартная библиотека шаблонов (STL). Я думаю, что в школе те, кто ещё учил Паскаль, обнаруживали, что у вас там, во-первых, нет встроенной сортировки (в древнем, синем Борланд Паскале, сейчас она уже есть в современных версиях) - там есть пример (исходник) сортировки, его можно скопировать и вставить. Но если вы хотите здесь отсортировать целые числа, здесь хотите вещественные числа, а здесь строки, которые можно между собой сравнивать, вам приходилось писать три разные сортировки, которые делают абсолютно одно и тоже, просто у них разные типы данных. Вот это не очень хорошо и шаблоны, которые не сразу появились в C++, эту проблему здорово облегчили. То есть, у вас была абстрактная программа, которая что-то, что может между собой сравниваться, успешно сортировала.

Скриптовые языки из 90-x

Но время не стояло на месте, в 80-е годы ещё много чего интересного происходило. Но где-то на рубеже 80-х и 90-х компьютеры стали настолько хороши, что можно уже было делать совсем странные и очень неэффективные вещи. В частности, это были скриптовые языки, которые не компилировались в машинный код, а интерпретировались. Бейсик тоже в какое-то время интерпретировался, но эти скриптовые языки были предназначены в основном для обработки текстов - это, например, Perl , Python (он был тогда не очень знаменит), PHP , Ruby - вот те скриптовые языки, которые в той или иной степени живут до сих пор (они все успели появиться до 2000 года, даже сильно раньше).

Давайте немного по ним пройдёмся, потому что это специфичные вещи и сейчас много где используются. Идея заключается в чём? Если мы не компилируем, то можно позволить намного больше всего. Например, программа может смотреть на свой код и как-то пользоваться этим; она знает, что в ней происходит и за счёт этого можно много чего интересного делать.

Perl был предназначен для обработки текстов - в те времена уже памяти стало настолько много в компьютерах, что туда можно было запихнуть какой-то текст и с этим текстом что-то полезное делать (например, считать слова, поиск какой-то). Но, на мой взгляд, его проектировали люди, которые были немного не в себе, потому что про него шутка такая есть: «Любой набор символов, написанный, является корректной программой на Перле». На мой взгляд, на нём можно только писать, читать его нельзя. Когда я смотрю на код на Перле и пытаюсь что-то понять, я ничего не понимаю. Может быть, если бы я знал его лучше, я бы что-то понимал, но как я слышал от тех людей, которые всё таки умеют, - они говорят, что легче переписать заново. То есть, программки получаются коротки и реально проще переписать заново, чем разобраться с тем, что там есть и исправить.

Примерно в то время, в середине 90-х, появился интернет. Сначала это были почта, сайтики со статичным HTML, но людям захотелось добавить туда какую-то динамику, чтобы у нас всё происходило динамично, формочки какие-то можно было заполнять, гостевые книги делать, ещё что-то. Соответственно это требовало какого-то взаимодействия, придумали протокол, как это взаимодействует, и, самое главное, генерацию этих статических (условно) страниц, которые будут «выплёвываться» пользователю в ответ на его запрос.

В общем, ничего кроме Перла на тот момент не подходило. Писать на чистом Си или на C++ обработчик было плохой идеей. И от неимения лучшего в то время (и достаточно долго) Перл был популярным языком для веб-разработки. Конечно, масштабы не сравнятся с тем, что сейчас происходит.

PHP появился как… случайно. Один человек довольно быстро перестал заниматься этим - делал свою страничку какую-то, была у него гостевая книга какая-то, ещё что-то, какие-то штуки. И он написал набор макросов каких-то для Перла, которые были похожи на Си, потому что он на Си умел, просто потому что ему было так удобно. И назвал это Personal HomePage. Расшарил и говорит: «Люди, смотрите какую штуку я написал, здесь всё намного понятнее, чем на Перле и можно править». И людям это понравилось.

Потом он это дело бросил. В общем, в итоге этот PHP стал жить и стал со временем гораздо популярнее, чем Perl. Но вот эта его «родовая травма» (задумка как набор макросов для Перла) с ним сыграла довольно злую шутку. Язык получился странный. То есть он развивался сам по себе, его никто не проектировал, никто не администрировал процесс развития (ни компания, ни какой-то человек), а было много группок, каждая из которых пилила то, что им нравится. В итоге там функции называются по-разному, даже стиля нет, всё через подчёркивания, в общем как попало, настройки лежат здесь и там, и как всё это будет работать не очень понятно. Зато можно сесть и через два часа писать на PHP, потому что он так задумывался.

Python и Ruby: Ruby сейчас менее популярен, Python как-то лучше «выструган», давайте о нём потом поговорим. Понятное дело, что в те времена это были (лектор указывает на Perl, Python, Ruby, PHP) сильно специализированные языки для сильно специализированных целей. В общем случае никакого системного программирования, никакой бизнес-логики никто на них не писал в то время и сейчас не очень много это делает.

Компилируемые языки из 90-х

Мы пойдём примерно в те же времена, но в другую сторону. У нас на тот момент C++ применялся практически для всего, что нужно было писать не для веба, не для обработки текста, а для просто приложений, для операционных систем, для игрушек - в общем, для чего угодно. Но C++ - это жуткий язык на самом деле. Почему? Потому что, во-первых, он наследовал из-за обратной совместимости все проблемы Си. Там можно было по-прежнему убиться миллионом разных способов, тех же самых, что были в Си (естественно, добавились и новые способы в C++). При этом, если писать всё хорошо и правильно, как было задумано авторами C++, то, конечно, старыми сишными способами уже убиться было нельзя, и вроде как их стало поменьше. Тем не менее, у него была очень странная объектная модель своеобразная. Разбиение программы на модули, на кусочки какие-то вообще пришло из Си (если include вы умеете писать на Си или на C++ - фактически это было задумано как просто вставить текст библиотеки в вашу программу, в итоге, когда вы пишите кучу инклюдов у вас всё - если «примитивно», как это было в самом начале - у вас всё вставляется в один файлик и потом всё это жутко долго компилируется, потому что по несколько раз ходит. Тот же Паскаль, Виртовский, был в этом плане намного продуманнее, более поздние версии стали ещё лучше.

В общем, недостатков у C++ очень много. Квалификация у программиста должна была быть высокая, чтобы писать на C++, и стоили такие программисты дорого (и подготовка, и ещё чего-то, то есть найти на рынке программистов сложно, платить им нужно много, ну и вообще это не дело...). А компьютеры у нас всё быстрее и быстрее считают, становятся всё дешевле, люди покупают себе новые компьютеры и хотят больше приложений, больше игрушек для телефона, в общем - больше радости.

Так и появилась Java (Ява). Там тоже связана довольно забавная история, как название появилось у этого языка. Там программисты, они всё время пьют кофе и в то время было модным пить кофе, который на острове Ява рос. Язык задумывался как язык для встраиваемых приборов, в частности для кофе-машины. Вот так и получилось название…
Что вообще началось с неё, что в ней было хорошее и почему же она завоевала большую популярность? Во-первых, они избавились от наследия Сишного, полностью. Никаких указателей, гораздно меньше способов отстрелить себе какую-нибудь часть тела и всё сломать. Во-вторых, они внедрили гораздо более свежие идеи в плане объектной модели - то есть C++ появился значительно раньше, чем Java и использовал более архаичную, «дикую» модель объектную. Ну а здесь (лектор указывает на Java) она была уже более продуманной тогда уже, и в теории люди думали, и на практике применяли и сделали всё намного круче.

И наконец, третье. У нас программки на Джаве собирались не в машинный код, а в код для виртуальной машины. То есть, у вас жила виртуальная машина (VM) JVM - Javовская. Ваши программки собирались в какое-то промежуточное представление и затем, с помощью это машины уже выполнялись. Что это дало? Во-первых, оно тормозило, во-вторых, оно жрало память со страшной силой, в третьих оно было переносимо куда угодно (теоретически) - хоть на кофеварку, хоть на кофемолку, хоть на компьютер, хоть на телефон мобильный. Это, с одной стороны хорошо, то есть вы написали просто реализацию виртуальной машины, потом свои джавовские программы запускаете везде. Но, с другой стороны, плохо, что на том же телефоне тогда было мало памяти, была низкая производительность и всё это ещё дополнительно начинало тупить и тормозить.

Но даже не это главное, для чего вообще язык придумывался. Язык Джава придумывался чтобы снизить требования к квалификации программистов. То есть более плохие программисты могут писать хорошие программы на Java, потому что она не позволяет писать плохие программы - там нет средств, чтобы писать программы плохо. Там можно писать только хорошо, программы. Хорошо, в понимании создателей языка.

То есть, если на Си, на C++, на Питоне, на чём угодно мы можем развести из своего проекта жуткую помойку какую-то, где у нас всё лежит вперемешку, собирается часами и там ещё чего-то. То в Java помойку развести тоже можно, но для этого уже надо приложить какие-то усилия. То есть, по умолчанию, там получается не “помойка”, получаются другие проблемы, что там что-то пронаследовали-пронаследовали - в общем на одну осмысленную строку получается десять не очень осмысленных. Зато, может такой, средней квалификации, программист писать довольно качественный код.
Мы почти пришли к концу. У нас, следующее, что появилось - это.Net (дотнет), ну и в частности нас интересует C# (почти то же самое [лектор указывает на Java], то есть там различия в деталях, если будете выбирать между ними - смотрите, где денег больше платят).

И ещё одна штука - JavaScript. Не имеет никакого отношения к языку Java, появился в том же году - слово было модное, они лицензировали торговую марку, чтобы использовать.

На что, главное, нужно обратить внимание? (Лектор рисует стрелки от C++ к Java, .Net, C#, JavaScript и PHP). Чтобы написать простенькую программку на одном из этих языков, да и на многих других - если вы знаете C++, вам в общем-то ничего больше знать не надо - вы берете и пишете на C++, а потом добавляете доллары в начале, ещё что-то делаете по мелочи и у вас она начинает работать на чём угодно (лектор показывает на языки, к которым были отведены стрелочки от C++). То есть они предельно похожи в каких-то простых вещах. Если вы решаете какие-то школьные задачи, учебные задачи, ещё что-то (не проектируете большой проект - у вас один файлик, который читает числа, выводит числа в консоли, ещё чего-то делает), то разницы почти никакой нет между этими языками. Понятно, что JavaScript и PHP они специализированные, у них всё немножко по другому. А вот здесь (лектор указывает на Java и C#) вообще предельно мало разницы.

С тех пор появляются всякие другие интересные вещи, но непонятно - будут они жить или успешно умрут. Чем сейчас, для каких задач пользуются?

Выбор языка в зависимости от задачи

Допустим, перед вами стоит задача написать драйвер для видеокарты. Каким языком вы будете пользоваться сегодня? (Выкрик из зала: Java!) А чего… Джава - отлично, но чего не на Руби или на PHP? (Лектор говорит с сарказмом.)

Низкоуровневое программирование

Если вы пишете чего-то низкоуровневое, то лучший выбор - это Си, но вообще-то я чего-то слышал (но не видел), что C++ применяют для этого. Но я слабо верю в это, потому что в Си можно четко контролировать - раз вы дали столько-то байт памяти, значит столько-то и будет. А в C++ (STL) как реализована строка? Ну, как-то реализована. И мы в итоге не знаем, как и что там происходит, может у нас память кончится на нашей видеокарте или ещё что-то произойдёт. Поэтому Си до сих пор живёт и не умирает, такие задачи системного программирования по прежнему есть - написать операционную систему, написать драйвера, написать ещё чего-нибудь - Си отлично подходит для этого. Кроме того, сейчас появляются всякие устройства, (интернет вещей обещают, что он вот-вот наступит) которые живут от батарейки (и, естественно, их будут миллионы, всё будет обвешано этим интернетом вещей), они должны быть очень дешёвыми и очень мало электричества потреблять. Соответственно, там будет 2 Кб памяти, процессор на 5 кГц, ну и понятное дело, что вкрутить какую-то виртуальную машину или скриптовый язык в ближайшее время не получится -- значит, придётся писать что-то на Си. Да и сейчас, например, вычисления на видеокарте (OpenCL или ещё какая-нибудь технология) - там не придумывают новый язык, чтобы писать для них программ - там делают Си с каким-то большими ограничениями. Просто потому что люди уже умеют, зачем учить чего-то новое? Формально это, наверное, тоже, в каком-то смысле Си.

Веб-программирование

Допустим, вы хотите написать новый Facebook (социальную сеть). На чем вы будете это писать? (Из зала говорят про HTML и CSS.) HTML, CSS - это дизайн, а мы хотим, чтобы там можно было фотографии добавлять, друзей, комментарии оставлять.

Для скриптовой части - то есть то, что будет происходит на стороне клиента, - это JavaScript. Причем иногда JavaScript генерируется на другом языке и высылается (так бывает, что скрипт генерируется…, потому что так проще иногда бывает обрабатывать какие-то изменения в логике).

На удивление, он написан на PHP - и Facebook, и многие другие большие проекты. Пришлось, конечно, написать свои какие-то вещи, чтобы это всё-таки работало нормально, а не так как «тяп-ляп» было сделано, но они справились. В принципе, более менее всё равно, на чём вы будете писать, но не советую Perl. Здесь и сейчас, понятное дело, с нуля уже для веба никто ничего не пишет. Все пишут какой-нибудь фреймворк или ещё чего-то. Интернет-магазин? Скачали фреймворк для интернет-магазина - ну и всё, написали интернет-магазин.

Программирование для бизнеса

Дальше вы хотите написать какое-нибудь скучное приложение для банка. Или, например, есть ли у вас кто-нибудь, кто продаёт симки? Возможно, вы когда-нибудь покупали телефон или ещё что-то и вам говорили: «Вот система висит, мы ничего не можем сделать». На чём вы будете писать такое приложение? (Выкрик из зала про Python) На Питоне такое нельзя писать, вы что?! Ничего для бизнеса не стоит писать на Питоне. Почему? Потому что когда вы пишете что-то на Питоне, у вас в процессе написания невозможно обнаружить значительно количество багов. Питон всячески динамически типизированный, и вообще там можно так спрятать баг, что он всплывёт в такой ситуации, что вы даже понять не сможете, что там сделали вот эти криворукие пользователи, что у вас всё сломалось. То есть на Питоне лучше писать для себя, маленькие скрипты - вы понимаете, что там происходит и что делается. Ну или что-нибудь, что не жалко выкинуть: вы хотите раньше конкурентов что-то выкатить, ну и что, что оно через раз будет ломаться. Вы написали на Питоне и всё - вы захватили рынок. А если вы пишите что-то надолго, например банковское приложение какое-то (чтобы оно кредиты одобряло, ещё что-нибудь) - вы пишете это на Java. Потому что там дело серьезное, бумажки, деньги, документы, ещё чего-то, а в ней так накосячить нельзя, что всё сломается, а то люди обидятся - у них деньги ушли и никуда не дошли, потому что у вас в какой-то момент строка превратилась в число или наоборот. Итак, значит, методично на Java берёте и пишете, пишете… Ну или на.Net, тоже такие ситуации, в принципе, бывают. Там, конечно, тоже можно нарваться на проблемы, но всё таки вероятность этого несколько ниже.

Программирование для армии, аэрокосмической отрасли

А теперь представьте, что вас решили отправить на Луну на ракете. На чём бы вы предпочли, чтобы был написать код, который управляет двигателями ракеты? Давайте посмотрим. Вот это, наверное (лектор показывает на Perl, Python, PHP, Ruby), не стоит - оно тормозит, ещё чего-то происходит, ну и вообще я бы не согласился лететь на такой ракете. На C++? Я бы тоже, честно говоря, не доверил, потому что на C++ слишком много способов убиться. Когда ты там где-то в космосе, это не очень хорошо.

Может быть на Java? Вроде там довольно надёжно всё и архитектура хороша, никаких диких типов, никаких выходов за пределы памяти лишних. Допустим, наступил самый ответственный момент, а наша Java решила собрать мусор за нас. Нам нужно приземляться, тормозить, а она такая: «Нет, garbage собирается». В общем, тоже не очень.

Честно говоря, я бы предпочел, чтобы на Паскале писали эту программу. Я, конечно, не очень люблю Паскаль, но как-то в таких вопросах, было бы очень здорово.

Использование сразу нескольких языков для разработки ПО

Ну и что нужно вообще сказать о современных языках. Сейчас многие проекты не живут каким-то одним языком, то есть у них часть какая-то живет на одном языке, часть - на другом, ещё какая-то часть - на третьем. Например, если у вас какое-то веб-приложение, которое обрабатывает дикие объемы информации, обращения к дискам (даже не к базам данных, они настолько огромны, что там даже база данных не тянет какая-то уже написанная) наверняка написаны на каком-то низкоуровневом Си, чтобы дико быстро писать на диск и всё такое. Естественно, писать весь проект на Си не стоит. Может быть, там какая-то промежуточная логика, написанная на Java, которая обращается к Сишным функциям для быстрых обращений. Ну а фронтенд (то на что смотрит пользователь), конечно, уже написан на чём-нибудь, на каких-то скриптах, на том, что непосредственно выполняется браузером (JavaScript). И всё это живет вместе и успешно взаимодействует.

В разработке каких-то приложений, даже больших, иногда люди что делают? Они берут и на Питоне пишут прототип (как оно всё будет работать), набрасывают, какую-то архитектуру продумывают. Писать на нём реально очень быстро - они накидали прототип, поэкспериментировали с ним и сказали: «Во! Вот так круто!» И полностью переписали. Казалось бы, они два раза сделали работу, от этого в два раза больше времени ушло (ну, в полтора). Но нет! Часто оказывается, что такой способ неплох, потому что, если вы напишете сразу на чем-то, например на Java, а потом решите: «Нет, давайте рефакторинг, меняем архитектуру полностью и всё такое,» - то потратите в 10 раз больше времени. Такие вещи тоже существуют и живут.

Условия успеха какого-либо языка программирования

Теперь поговорим о том, почему некоторые хорошие на вид языки не выжили, ну или живут в очень ограниченном пространстве. Когда Вирт увидел, что сделали с его Паскалем нехорошие фирмы Applе, Borland и всё такое, он придумал язык ещё лучше - Oberon. Он только был дико минималистичный - то есть, там было очень мало команд (Строки? Зачем нам строки? Мы сделаем массив символов!). Ну и чего-то не пошло у него, в той степени, как могло бы пойти.

Ещё одна штука. Американские военные попросили разработать им тоже крутой язык, на котором всё работает и всё можно написать. В результате получился довольно монструозный язык Ada, на котором, правда, до сих пор что-то пишут, но опять же - для военных только.

В чём проблема? Почему некоторые языки вроде Python, который никакая компания его не поддерживала вначале, захватили рынок. PHP, который ещё и плохо спроектирован, тоже сам по себе взял и захватил рынок (большую часть). А всякие миллиарды долларов вложены (лектор показывает на Ada) и никуда не пошли, ничего не произошло. С чем это связано? Это связано с тем, что нет инфраструктуры вокруг этих языков. То есть язык может быть отличный, но пока нет документации, пока нет сообщества, которое умеет отвечать на вопросы (на Stack Overflow) и, наконец, самое главное, пока нет большого количества библиотек, язык не выстреливает. То есть, вы, например, захотели на Обероне написать сайт. А что такого, почему бы и нет? И начинается морока… Веб-сервер вы не можете поднять свой на Обероне, чтобы потестировать легонько, какие-нибудь библиотеки вы подключить не можете, потому что их на Обероне нет. И всё это через какие-то костыли делается, силы уходят, и в общем вы плюете и пишете на чистом Си свой сайт вместо Оберона. А живут хорошо те языки, которые умеют пользоваться библиотеками от других языков. Тот же Питон в тех местах, где он тормозит. Ну и вообще всякие стандартные вещи типа сортировки и ещё чего-то написаны на Си, и он (Python) умеет с ними взаимодействовать.

У Java тоже есть Java Native Interface. Это по сути Си, то есть там (по-моему, всё время хотят запретить, но кажется ещё не запретили) эти языки могут взаимодействовать с уже существующими библиотеками (в основном Сишными). И за счёт этого берут и работают. Понятна идея, которую я пытаюсь до вас донести, да? Не пишите на тех языках, которые не умеют подключать Сишную библиотеку. Ну, если вы хотите пользоваться чем-то классным. Ну, и постепенно они (языки) обрастают своей какой-то инфраструктурой. И живут как-то хорошо.

Язык программирования и профориентация

Теперь поговорим о том, как понять, чего вы хотите в жизни. Что бывает из прикольных вещей? Вы можете заниматься каким-нибудь системным программированием, да? У вас там классно считать эти байтики, вы хотите запускать квадрокоптеры, камеры какие-то, ещё чего-то делать. Тогда, наверное, Си - ваш выбор.

Если вы хотите писать, может быть, не самые интересные в жизни приложения, но вам круто их проектировать, думать об этом всём и зарабатывать кучу денег, за то, что вы сидите и скучаете большую часть времени (за это надо платить, если вы качественно скучаете), вот они - Java, .Net. Вы идёте работать в какой-нибудь банк, пишете, ходите к девяти на работу в белой рубашечке, получаете хорошую зарплату и пишете согласно рекомендациям лучших Java-водов, .Net-овцев и всё такое…

Если вы хотите писать какие-нибудь приложения, браузер какой-нибудь, игрушки какие-нибудь, ещё что-то, то C++ отлично подходит. Если вы хотите писать сайтики, то вот они, языки на ваш выбор (лектор показывает на Perl, Python, PHP, Ruby), большой разницы нет. Единственное - PHP умрёт раньше, чем Python, поэтому если вы ленитесь учиться новому, то учитесь Питону. Большой разницы не заметите, но подольше протянете.

Что происходит с Ruby, тоже непонятно. Ну, можете и PHP, если уже выучили, благо они такие простые, что там переучиваться не так долго.

И, наконец, есть ещё одна область применения языков программирования - это когда не программист ими пользуется. Допустим, вы математик, физик, химик, аналитик, кто угодно, и вам нужно быстро что-то посчитать, какие-нибудь данные проанализировать (биологам, например, сколько песцов живёт на Командорских островах). Вы можете в табличку в Excel’е вбить всё это или проанализировать чем-нибудь. Тоже Питон хорошо подходить для этого, с текстом умеет работать и библиотек полно всяких, статистических и всего такого. Если хотите делать какой-нибудь Machine Learning, какие-нибудь данные обрабатывать, прогнозировать, то тоже на Питоне это сейчас делается быстрее всего. Правда, надо заметить, что задачи бывают очень разные. Например, если вы хотите торговать на бирже моментально в условиях, когда котировки меняются всё время, то какой бы вы классный Machine Learning не написали на Питоне, люди, у которых это написано на чём-то более быстром, успеют всё скупить раньше, пока у вас всё досчитается, даже если у них алгоритмы хуже. Поэтому даже эти задачи машинного обучения (некоторые из них) требуют высокой производительности (причём экстремально высокой), и соответственно других языков.

Единственный способ понять, чего вам хочется - это всё попробовать. Сейчас я скажу как одно из видений того, как можно всё попробовать. Как стать программистом, причём счастливым? Итак. С чистого листа начинаем. Вот вы учитесь в школе своей математике, русскому языку и другим обязательным и необязательным предметам, и ваши знания в области программирования отражены на доске (лектор показывает на пустую доску) на данный момент. И вы хотите стать счастливым человеком, заниматься любимым делом, зарабатывать много денег и ни в чём себе не отказывать и радоваться.

Один из способов этого добиться. Есть, конечно, всякие вдохновляющие истории о людях, которые вообще не поступали в университеты, или бросили их и стали миллиардерами, владельцами компаний и так далее. Но надо отметить, что большинство людей, которые может быть и не стали миллиардерами, но тоже неплохо живут, всё-таки университет в какой-то момент закончили.

Какая у нас ситуация с поступлением в университет (сейчас вы в школе учитесь)? Пока вы учитесь в школе, нужно понять что следующий шаг - поступить и позаботиться об этом. Сдать ЕГЭ или победить в олимпиаде. На ЕГЭ можно пользоваться Паскалем, C++ (включая чистый Си), Питоном (не буду их дальше упоминать). На олимпиаде - тот же Паскаль, тот же C++, тот же Питон (мы поговорим сейчас о его проблемах) и, чаще всего, есть Java. Там ещё всякое бывает в зависимости от олимпиады, но не суть.

Как выглядит график распределения языков на Всероссийской олимпиаде по информатике? Люди, которые участвуют во всероссийской, самой крутой олимпиаде, на чём они пишут? Выглядит он вот так (здесь значит Паскаль, а здесь примерно 2000 год, а здесь примерно ноль, здесь C++, а здесь 2015 год).

В 2000 году на C++ почти никто не писал. Прошло 15 лет, и на Паскале почти никто не пишет, несмотря на то, что Паскаль современный. Это язык, который умеет почти всё то же самое. Просто чего-то всем стало лень этому учиться, всяким новым веянием, и всё продолжают писать на Borland Pascal’е, который конечно ничего не умеет. На C++ люди пишут какие-нибудь алгоритмы (STL) посортировать - отлично, написали sort() и всё. На Паскале, на обычном, на старом - это проблема. Написали какой-нибудь set (понадобился) - отлично, на C++ написали, на Паскале опять мучение сплошное. На новых Паскалях, понятное дело, можно это делать, но они денег стоят вообще-то. Возможно, вы не замечали этого, но это так.

Есть Java ещё, но в Java очень много букв. Она для больших проектов, а для маленьких одноразовых программок она получается совсем плохая, потому что много лишних букв. Но тоже какие-то люди пишут, можно научиться писать на ней. Но на ЕГЭ её нет и ЕГЭ всё равно сдавать придётся в большинстве своём.

Что лучше всего для ЕГЭ? Для ЕГЭ лучше всего (если вы ничего не знаете и в школе вас ничему не учат) выучить Питон. Некоторые задачи экзамена отлично решаются на нём. На олимпиаде, в общем-то, получается что (используется) C++, потому что Питон очень медленный, там не всё решается на нём.

Таким образом, вы изучили некоторое небольшое подмножество языка и какие-то алгоритмы (возможно) и много задачек порешали для того, чтобы получить диплом своей олимпиады и поступить в университет, чтобы получать высшее образование.

Я сейчас расскажу о том, как мы в Вышке выстраиваем курс, в каком порядке языки идут, как изучаются на прикладной математике и информатике факультета прикладных наук, которые мы с Яндексом делаем. В первом семестре - Питон (не в полном объёме, примерно как вы в школе должны учить) и С++ (уже шире, значительно шире, чем его обычно учат в школах). Давайте сразу скажу, чтобы вы не пугались, если вы вдруг захотите поступать, скажете: «Чего, я уже всё это знаю, зачем я пойду куда-то учиться? Лучше я пойду в другое место». Для тех, кто уже умеет программировать хорошо, там есть возможность сразу перейти к изучению алгоритмов, причем в довольно теоретической подготовке. Мы сейчас на них не смотрим, это (показывает на доску) для тех кто программирует средне или вообще никак.

В первом семестре изучаются основы Питона, просто чтобы люди научились программировать и чтобы никому особо не было обидно. Питону мало где учат в школах, в основном люди приходит со знанием Паскаля или C++. В основном даже Паскаля, если это массовая школа. Ну и чтобы никому не было обидно, все учат новый язык (как бы в равных условиях находятся). И C++ просто потому, что от C++ потом можно перейти куда угодно.

Затем идёт курс «Алгоритмы» и отдельный курсовой проект. Классические алгоритмы с реализацией. Не то, что в теории мы чего-то взяли, посчитали сложность. На лекции мы взяли, посчитали сложность, на семинаре - взяли, реализовали алгоритм. Проект - это студенты делают нечто законченное. Например, один из проектов был: посчитать… Допустим у вас много квартир в Москве и вы понимаете: «О, чего-то у меня много лишних, я сдам какую-нибудь. И выставили какую-то цену, и никто чего-то не хочет у вас квартиру снимать - наверное, слишком дорого. Или выставили какую-то цену, у вас тут же сняли и вы думаете: «Ой, наверное, я дёшево сдал» - и тоже расстраиваетесь. То есть надо было посчитать, сколько стоит аренда квартиры? Вы вбиваете данные - оно вам строит оценку. Такой сайтик, который состоял из нескольких вещей: взять предложения, попарсить, применить какой-то алгоритм обучения машинного (наверное) простенький и сделать красивую веб-морду, в которой можно что-то выбрать, что-то вбить, какие-нибудь метры, какие-нибудь количества комнат, количество саун, количество джакузи в вашей квартире и примерно оценить стоимость. То есть какая-то законченная, не очень сложная вещь. Здесь значит (лектор показывает на курс по алгоритмам) такой ядрёный C++, с консольным вводом-выводом. Ну, а здесь (лектор показывает на надпись «проект») нечто под руководством ментора, возможно с базами данных, возможно с парсингом текстов и с чем-то ещё.
Затем, идёт третий семестр - это курс, который называется “Компьютерные системы”. Там совсем немножко ассемблера для понимания (очень мало) и затем, нечто похожее на чистый Си и взаимодействие с операционными системами, системное программирование по сути. И проект на семинар - тоже нечто на тему всяких сетевых взаимодействий, достаточно низкоуровневых: разработать какую-нибудь утилиту, например rsync (синхронизация, возможно вы знаете. На чистом Си, более менее, написать аналог rsync’а, который по сети будет у вас синхронизировать папочки со всеми доступами к файлам и так далее).

И наконец, четвёртый. Я даже не знаю, как это назвать, это такой винегрет технологий, необходимых для реальной разработки, например для веб-разработки. То есть это практическое применение баз данных, опять же нечто похожее на то, что делалось в проекте (лектор показывает на проект 2 курса) но уже более углубленное. То есть такие более-менее конкретные вещи уже, практическое программирование. Параллельно с этим идёт всякая теория, ну и тут наукой занимаются ещё.

И после двух курсов люди расходятся заниматься, чем им интересно, потому что эта штука охватывает достаточно широко такие основы программирования и люди к этому моменту уже понимают, что они не хотят заниматься компьютерными системами ни в коем случае (системное программирование им, например, не понравилось), а хотят заниматься какими-нибудь теоретическими алгоритмами, сложности считать, придумывать новые какие-то штуки, распределённые или ещё что-то. Или наоборот думают, что тут у них не очень (лектор указывает на строчку первого курса с Питоном и C++ ) пошло, потом (лектор указывает на строку третьего курса, с системным программированием ) - как не нравится, считать байтики и выставлять всякие ограничения на чтение-запись, делать потоки, треды и ещё что-нибудь. И в соответствии с этим люди выбирают какое-то направление и учатся. То есть, в принципе, чтобы у вас не развился «синдром утёнка» - вы первым увидели свой Паскаль и теперь говорите «Паскаль - сила»; или более продвинутое - вы увидели C++ и начали про всех говорить, что C++ сила, а всё остальное там не очень.

Вот надо посмотреть на это (лектор показывает на список курсов на доске) шире - это один из способов, который был выбран, в частности в Вышке (недавно появился, так что он достаточно современный). Есть и другие способы познакомиться. В других хороших университетах немножко в другом порядке и другие акценты расставлены. Но тоже стараются людей со всем познакомить, что имеют.

Как программисту искать работу

Вы это (лектор показывает на список курсов ) сделали всё, научились в университете, ещё чем-то два года позанимались более продуктивно и вам нужно идти работать. Как выбрать себе что-нибудь для работы? Во-первых, вы со всем познакомились, углубились куда-то и знаете уже, что вы любите. Надо выбирать то, что вы любите, естественно. Потому что если вы любите, будете вкладывать силы, у вас будет мотивация и вообще всё будет хорошо. Потому что там дело не только в деньгах, дело в том, чтобы вам было интересно и приятно. Ну, и вы хотите попасть в крутую компанию, устроиться на работу. Какого человека вот лично я хотел бы видеть? Ко мне приходит, допустим, сто студентов - я должен взять двоих на работу или одного. Чего они приходят, я вообще не понимаю, кто они, что они, как они? В лучшем случае они мне покажут диплом, который получили в университете, и я скажу: «Во! Это крутой диплом, а это не такой крутой!» И могу ошибиться, кстати. Может, у человека было много свободного времени, и он научился гораздо лучше.

Что было бы здорово? Во-первых, какой-нибудь опенсорс-проект, который вы от начала и до конца написали. Желательно, если я делаю какую-нибудь инфраструктуру, чтобы данные быстро считались, ещё что-то, то, конечно, мне было бы интересно, чтобы мне написали чего-нибудь опенсорсное. Не сайтик какой-то сделали, а чего-нибудь по теме. Почему мне это интересно? Могу посмотреть на ваш код, я могу посмотреть как часто вы коммитили, могу посмотреть как вы реагировали на баги от пользователей, баги от разработчиков, которые это используют - всё записано, я всё смотрю и думаю: «Во, тут баг два года уже не закрывали, тут вы невежливо ответили пользователю, тут ещё чего-то - не беру». То есть это ваш личный проект.

Дальше, что ещё было бы классно? Я хотел бы посмотреть, как вы сделали командную работу. То есть вы приходите ко мне на собеседование и говорите: «Мы с ребятами из универа запилили какое-то приложение хорошее. Я вот там делал базу данных, они там делали какое-то мобильное приложение, и ещё у нас там парниша работал, девочка-дизайнер, мальчик на техподдержке. Нас было пять человек, и мы сделали классный проект». Ну я смотрю, что действительно ваш проект, говорю: «Что ваше?» Смотрю ещё раз код и понимаю, что вы умеете работать в команде с людьми.

Программист - это не тот кто сидит один (инди такой) в гараже, где-то с выключенным светом, ни с кем не разговаривает, обрастает бородой и пишет. Всё равно какое-то взаимодействие с людьми есть. С начальником, например, который на вас возможно ругается иногда (начальники, они бывают такими, не всегда добрыми). И я вижу, что вы умеете работать с людьми и меня это радует, если у вас хорошая команда какая-то. Даже если не хорошая, это лучше чем её отсутствие.

Чего ещё лично мне бы понравилось? Если бы вы проявили себя в больших проектах. Например, закоммитили что-то в ядро Линукса, если вы системным программированием занимаетесь, поправили какой-то баг. То есть показали, что вы умеете читать чужой код и умеете какие-то изменения в него вносить. Я смотрю: «О, действительно, вы разобрались в чём-то сложном и какие-то баги поправили!» И я начинаю от этого очень радоваться. Потому что у меня есть … ну не знаю… вот мой программист уволился, потому что конкуренты предложили ему больше зарплату, и мне нужно срочно кого-то затыкать его место - вами. Я такой смотрю, что вы только с нуля писали, а чужой код не умеете читать и править, и расстраиваюсь.

Ну и наконец, в зависимости от конкретной должности бывают разные другие вещи. Если вы устраиваетесь аналитиком, я бы хотел, чтобы вы на Kaggle порешали задачи на анализ данных. Если вы устраиваетесь на какие-то алгоритмические вещи, я бы хотел чтобы вы в спортивном программировании какие-то алгоритмы поделали. И наконец, если вы задумывались о профессии, читали как интервью проходят, - встречали, что там некоторые люди выражают большое недовольство: «Я пришёл, а у меня спрашивают, какое у меня хобби. Я сижу как сыч и не отвечаю, потому что у меня нет хобби,» - и думают, что HR’ы делают такое. На самом деле, они пытаются понять, насколько вы доброжелательны и адекватны. Если вы недоброжелательны и неадекватны, то каким бы вы ни были там гением и трудоголиком, крутым специалистом с большими знаниями, коллективу будет с вами сложно работать, а в одиночку вы проект не вытяните. Кроме того, даже если вытяните, то представляете, какая для компании нагрузка. А что вы завтра придёте и скажете: «Увеличьте мне зарплату в 10 раз, а то я от вас уйду». Понятное дело, компании не хотят попадать в такую ситуацию. Поэтому воспитание в себе адекватности и доброжелательности настолько же важно (как минимум) как развитие каких-то профессиональных навыков.

Подводя итог, что можно сказать? Какие языки хорошие, а какие плохие? Ну внутри какой-то группы языков, например между Ruby, Python и PHP, что выбрать? Конечно, правильный ответ Питон, но на самом деле разница между ними в количестве багов допускаемых, в количестве ещё чего-то - 5%, ну, может 10%. То есть, если у вас уже готовый проект на PHP написан, то никто в здравом уме не будет говорить: «Давайте перепишем всё на Python». Скажут: «Давайте наймём ещё PHP-разработчиков и будем дальше писать на PHP». Отлично, это неплохой выбор. Понятное дело, если вы вдруг затеете писать какой-то проект, то возможно разумно сейчас выбрать Питон. Хотя, это тоже зависит. Может, у вас на рынке куча дешёвых PHP-разработчиков, а питоновские дорогие, и вы думаете: «Да, технология более прикольная, но я сэкономлю деньги на уже готовых разработчиках». И всё, отлично, вы уже приходите и работаете там.
Как выбрать между Java и C++? Да то же самое примерно происходит. Я думаю, что к тому моменту, когда вы будете решать, на каком языке вам начинать новый большой проект, вы наберёте знаний именно в вашей профессиональной области и сможете сделать правильный выбор. Сейчас вам пока что не нужно делать такой выбор, и поэтому я вам советую делать то, что нравится.

Основы, как я уже говорил, самые-самые основы программирования (что такое функция, что такое if’ики, for’ики, массивчики, ещё что-то) можно выучить более-менее на любом языке. Например на C++, поскольку на него много чего похоже, и специфики в нём (на таком уровне) меньше всего, и буковок лишних писать меньше всего. Ну а потом, когда будете какие-то сложные архитектурные вещи учить, научитесь и переживать сильно не надо по этому поводу. То есть, главное --пробуйте, ищите то, что нравится и, когда вы поймёте, что сейчас уже 4 часа утра, а вы for fun сидите и пишете, потому что вам нравится - наверное, в этот момент понятно, что вы нашли своё.