Programlingvo: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
WWII-MOD Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo |
e Roboto: Automata tekst-anstataŭigo: (- definitajn + difinitajn ) |
||
Linio 92:
* '''[[Ordonema programado|Ordonemaj lingvoj]]''', kiel [[C (programlingvo)|C]], [[Ĝavo]], [[Paskalo (programlingvo)|Paskalo]], [[Ada (programlingvo)|Ada]]. Programoj en tiuj lingvoj konsistas el sekvenco de ordonoj kaj la komputilo simple plenumas tiujn ordonojn en la donita (aŭ modifita per alia ordono) sinsekvo.
* '''[[Deklarema programado|Deklaremaj lingvoj]]''' sekvas tute malan modelon, en kiu programisto priskribas la kondiĉojn, kiujn la rezulto de la programo devas plenumi. Kiel tiu rezulto efektiviĝas estas decidita dum kompilado pere de la kompililo. La plej ilustra ekzemplo de tiaj lingvoj estas [[SQL]], la lingvo de datum-mendoj. Laŭ la tipo de kondiĉoj ĉiuj deklaremaj lingvoj estas subklasigitaj al [[lokika programado|logikaj lingvoj]], kiuj baziĝas sur [[Logiko (matematiko)|matematika logiko]], kaj [[funkciaj lingvoj]], en kies fundamento estas matematikaj [[Funkcio (matematiko)|funkcioj]].
* '''[[Funkciaj lingvoj]]''', kiel [[Haskell]] kaj [[LISP (programlingvo)|Lisp]]. En funkcia programo la tuta programo estas unuopa esprimo (aŭ formulo), kiun oni devas elkalkuli. Kutime en tiuj lingvoj la programoj similas al matematikaj taskoj, kaj la kompililo plenumas gravan taskon por konverti tiujn sufiĉe formale
Multaj programparadigmoj, kiuj estas sendependaj intere, povas libere kombiniĝi, ekzemple la ordonema aŭ la funkcia kaj [[Objektema programado|objektema]]. Oni nomas lingvojn, kiuj entenas kaj aktive uzas plurajn paradigmojn, multparadigmaj lingvoj. Do ekzemple, ekde la 1970-a jardeko estas [[Objektema programado|objektema]] versio de [[LISP (programlingvo)|Lisp]], kaj estas [[Objektema programado|objektemaj]] versioj de [[C (programlingvo)|C]]. Multaj modernaj lingvoj, kiel [[Java]], [[C dieso (programlingvo)|C#]], [[Python]], [[Perl]] kaj aliaj estas nuntempe multparadigmaj kaj ebligas flekseman programadon.
|