Funkciaj lingvoj

Funkciaj lingvoj estas speco de komputillingvoj, kiuj havas apartan programadan stilon kompare al ordonemaj lingvoj. Kontraste kun ordonemaj programoj, kiuj estas vicoj de ordonoj plenumendaj unu post la alia, funkcia programo estas unuopa esprimo (aŭ formulo), kiun oni plenumas per komputi la esprimon.

Do ne estu surprizo, ke funkciaj lingvoj estas bazitaj de matematiko. Ekzemple, la funkciaj lingvoj Haskell kaj Lisp baziĝas sur la Lambdokalkulo. Kaj tiu bazo estas utila por tradukiloj, kiuj povas matematike rezoni pri la programo por pli inteligente traduki ĝin ol kutime povas tradukiloj por ordonemaj lingvoj. Kutima funkcio plenumita de tradukiloj por funkciaj lingvoj estas kontroli erarojn. Funkciaj lingvoj pli facile ebligas la trovadon de eraroj antaŭ ol ruli la programon. Do multaj rultempaj eraroj en ordonemaj programoj estas malpli seriozaj traduktempaj eraroj en funkciaj lingvoj.


Developed by StudentB