Programlingvo: Malsamoj inter versioj
| [kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Alaudo (diskuto | kontribuoj) |
Alaudo (diskuto | kontribuoj) |
||
Linio 75:
* '''[[Objektema programado|Objektemaj lingvoj]]''', kiel [[C++]], [[Ĝavo]] kaj [[Smalltalk]], kie (preskaŭ) ĉiu variablo estas objekto. Objekto estas instanco (ekzemplero) de klaso. Kaj objektoj havas metodojn, kiujn vi povas voki por peti, ke la objekto faru ion.
* '''[[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, kiam 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 definitajn taskojn en porkomputilajn ordonojn.
| |||