alkalmazó programozási nyelv
Applikatív programozási nyelv - az egyik típusú deklaratív programozás. amelyben az írás program a rendszeres végrehajtását a kérelem egy tárgy a másikra. Ennek eredménye az ismételt alkalmazása olyan objektum, amely érintett lehet alkalmazásokat, mint például a szerepe a funkciót. valamint egy érv, és így tovább. Ez rögzíti a program matematikailag egyértelmű. Az a tény, hogy a funkció jelzi a kifejezés, jelzi a lehetőségét, hogy a függvények értékét - funkcionális tárgyak - egyenrangú más tárgyakat lehet átadásra érveket vagy visszaadott kiértékelve egyéb funkciók.
Applikatív programozási modellek általában alapuló kombinatorikus logika vagy λ-kalkulus. A kombinációs logikai csak metaoperator - alkalmazás biztosítja a használata egy tárgy egy másik, a λ-kalkulus, kivéve alkalmazások, van metaoperator λ-kivételi, amellyel lehetővé válik az funkcióit kifejezések, amelyek viszont, lehet alkalmazni, hogy más objektumok. Így alkalmazó programozási tárgyak viselkednek, mint funkcionális egység, amely hordozza azt a funkcionális paradigma. azonban korlátozott értelemben, mivel vannak olyan jellemzők:
- argumentumainak száma (vegyértékét) az objektum nem előre rögzített, de manifesztálódik fokozatosan, során kölcsönhatások más tárgyak;
- A design a kompozit tárgy egyik az eredeti tárgyak - a funkció, hogy a többi - az érvelés, míg más kontextusban, akkor szerepet cserélnek, azaz funkciók és érvek objektumként kezeli egyenrangú;
- hagyjuk, hogy önmagukat alkalmazhatóságát funkciók, azaz a tárgy lehet alkalmazni magát.
Applikatív programozási nyelv - egy programozási nyelv. amelynek célja, hogy támogassa a programozási eljárás az eredmények a funkció kombinációjától függően változó. A végső eredmény érhető el egymást követő alkalmazása a funkcionális átalakulások az adatok [1].
Példák alkalmazó programozási nyelv funkcionális nyelvek Lisp [2] és az ML. A Haskell, ez programozási paradigma megvalósítva alkalmazó funktorhoz. felhatalmazza funkcionális absztrakciós mechanizmus, magasabb rendű a multi.