Programlingvo

El Vikipedio

Komputiko > Programlingvo

Programlingvoj ekzistas por skribi komputilajn programojn. Multaj skemoj ekzistas por klasifiki ilin. Oni parolas pri kelkaj generacioj de komputilaj programlingvoj:

Unua-generaciaj lingvoj estas maŝinlingvoj, la lingvoj de la procesoro. Ili estas binaraj kaj malfacilaj por homoj.
Dua-generaciaj lingvoj estas asemblaj lingvoj. La ordonoj de la procesoro havas simbolajn nomojn.
Tria-generaciaj lingvoj estas proceduraj lingvoj kiel Fortran, C, Pascal, COBOL, Algol kaj Basic.
La kvara generacio estis, kiam tiuj nomoj pereis. Tiuj lingvoj ne estis nur lingvoj. Ili havis datumbazojn, uzanto-interfacajn bibliotekojn, kaj tion kion ni nun nomigas programada medio (angle "integrated development environment").

Ankaŭ ekzistas lingvoj, kiuj ne akordiĝas kun tiu ĉi klasifiko. Objektemaj lingvoj kiel C++, Java kaj Smalltalk pritraktas objektojn. Objekto estas instanco (ekzemplero) de klaso. Kaj objektoj havas metodojn, kiujn vi povas voki por peti, ke la objekto faru ion.

C, Java, Pascal, Ada, ktp estas ordonemaj lingvoj. Tio estas, ke programoj en tiuj lingvoj konsistas el sekvenco de ordonoj, kiujn oni plenumas strikte unu post la alia. Kontraste, Haskell kaj Lisp estas funkciaj lingvoj. Funkcia programo estas unuopa esprimo (aŭ formulo), kiun oni plenumas per komputi la esprimon. Ĉu lingvo estas ordonema aŭ funkcia, estas sendepende de ĉu ĝi estas objektema. Do ekzemple, ekde la 1970-a jardeko estas objektema versio de Lisp, kaj estas objektemaj versioj de C.