2. Езици на високо ниво
Компютърът по принцип може да изпълнява само основен набор от инструкции, дефинирани в машинния език, и това е специфично за всяка една.
1.1. Машинен език
Езикът на машината се дефинира от списъка с инструкции, директно изпълними от процесора, и тяхното вътрешно представяне в двоична форма; следователно, единственият език, който може да се изпълнява директно от компютъра.
Това ще рече, Това е двоичен език, съставен само от нули и единици (0 и 1).
Писането на програми на този език представлява голяма трудност, както поради манипулирането на инструкциите и данните (в двоичната им форма), така и поради местоположението, манипулацията и организацията на информацията в паметта. Като цяло това са програми, които са много трудни за писане, четене и отстраняване на грешки и в крайна сметка за въвеждане в експлоатационни условия.
1.2. Асемблерен език
Поради тези обстоятелства беше направена първа стъпка в развитието на програмните езици, Асемблер Езици. Тези езици са основно съставени от инструкции за машинен език, написани в символна форма, използващи мнемонични кодове, лесни за четене и запомняне. Те позволяват по-голяма свобода при представяне на данни (целочислени нотации, десетични знаци и т.н.), както и по-добра организация и управление на паметта.
Програма, написана на този език, не може да се изпълни директно на машината. По този начин, поради своята символика, той трябва да бъде преведен в еквивалентна програма, написана на машинен език, която може да бъде изпълнена. Този превод се извършва от програми, наречени Асемблери.
2. Езици на високо ниво
Обаче необходимостта от по-общи езици, които позволяват символика, по-близка до логико-математическото писане, скоро се проявява, пораждайки езиците, наречени Evolved или Високо ниво.
Използването на тези езици предполага съществуването на програми, способни да преобразуват инструкциите, принадлежащи към еволюиралата форма (известна на програмиста), към машинните инструкции (директно изпълними). Тези програми за превод могат да бъдат: Съставители или Преводачи.
Съставител
Компилаторът е програма, която от изходната програма (на еволюирал език) и в една операция създава еквивалентна и постоянна обектна програма (на машинен език), директно изпълнима, чрез процес, наречен "фаза на компилация", независима от фазата на изпълнение.
Преводач
Интерпретаторът е програма, която по време на изпълнение транскрибира на машинен език и изпълнява един по един, в последователността, описана в програмата източник, своя набор от инструкции (без да генерира обектна програма). По този начин, всеки път, когато програмата-източник се изпълни, тя ще трябва да бъде интерпретирана отново; всеки път, когато едно изречение се изпълнява, то трябва да се интерпретира отново.
3. Структурирани и обектно-ориентирани езици
Структурираното програмиране е програмна парадигма, насочена към подобряване на яснотата, качеството и времето за разработка на компютърна програма, използвайки само подпрограми и три структури: последователност, избор и итерация. Теоремата за структурираната програма, предложена от Bhhm-Jacopini, показва, че всяка програма може да бъде разработена с тези структури.
Предимствата на този тип програми включват, наред с други, подобрена яснота на кода, простота на програмиране и тестване, намалени разходи за поддръжка и повишена производителност на програмистите.
Обектно-ориентираните езици са еволюция на структурираните езици. В тези езици говорим за обекти, които имат състояние, поведение (методите, които могат да променят състоянието им) и идентичност (които ги различават от останалите). Можем да кажем, че при структурираното програмиране данните и процедурите, които действат върху тях, са разделени, а при обектно-ориентираното програмиране те са обединени. Така че бихме могли да имаме обект, наречен "човек", който да има като данни: дата на раждане "," тегло "," дължина на косата ". И като методи:" рожден ден "," отслабване "," подстригване ". Можем да създайте толкова екземпляри на обекта на човек, колкото е необходимо, и работете с тях индивидуално.
Обектно-ориентираното програмиране придобива все по-голямо значение, особено с появата на графични интерфейси и свързаното с тях събитие-ориентирано програмиране. Обектно-ориентираното програмиране беше идеално за тези случаи, тъй като всеки елемент от интерфейса се превърна в обект, който има свои собствени методи, които реагират на потребителски събития в интерфейса.
4. Езици за програмиране
По същия начин, по който съществуват различни естествени езици с различни синтактични правила, има и различни езици за програмиране, проектирани фундаментално според проблема, който трябва да бъде поставен. По този начин учените и техниците виждат компютъра като инструмент за решаване на сложни цифрови изчисления, така че се нуждаят от език за програмиране с голяма гъвкавост за представяне на алгебрични изрази. За разлика от тях, компютърните потребители за бизнес или управленски цели ще се нуждаят от език за програмиране, способен да обработва големи количества данни.
Поради горните причини, въпреки усилията за обединение, сега има голям брой езици за програмиране.
4.1. FORTRAN (преводач на FORmula)
Той е разработен в средата на 50-те години (20-ти век) от екип, ръководен от Джон Бакус за IBM.
Той е много популярен сред учени и инженери, поради големия брой приложни програми, разработени на този език.
4.2. COBOL (COmmon Bussiness Oriented Language)
Популяризиран от федералното правителство на САЩ в края на 50-те години. Той е насочен към решаване на управленски проблеми и използването му е почти универсално.
Въпреки че това е остарял език, в днешно време все още има приложения, разработени в COBOL, като банкови програми.
4.3. BASIC (Начинаещ универсален символичен кодекс с инструкции)
Разработено през първото десетилетие на 60-те години в колежа Дармут (САЩ), за да направи използването на компютъра по-достъпно за учениците. Набира все по-голяма популярност.
С течение на времето BASIC се превърна във визуален и обектно-ориентиран език в последната си версия Visual .NET.
4.4. ПАСКАЛЕН
Разработен от Niklaus Wirth в средата на 70-те години, той обхваща същото пространство като ALGOL, с което има известна прилика, но включва нови функции, които го правят особено привлекателен за научната общност. Компанията Borland създаде визуална обектно-ориентирана версия, наречена Delphi.