Практическо език за програмиране - един от видовете декларативно програмиране. по които програмата писане е систематичното прилагане на прилагането на един обект на друг. В резултат на това повторно прилагане е обект, който може да бъде включен в приложения, като ролята на функцията. както и като аргумент, и така нататък. Той записа програмата математически ясно. Фактът, че функцията е показана чрез експресия, показва възможността за използване на стойностите на функции - функционални обекти - наравно с други предмети, които могат да бъдат предадени като аргументи или върнати в резултат на оценката други функции.
Приложният модели за програмиране като цяло въз основа на комбинаторна логика или λ-смятане. Комбинираното логиката само metaoperator - заявление се отнася до използването на един обект в друг, в λ-смятане, с изключение на приложения, да накарате metaoperator λ-абстракция, чрез които е възможно да се изгради функции на изрази, които, от своя страна, могат да бъдат приложени към други обекти. По този начин, приложният програмни обекти се държат като функционална единица, която носи за функционална парадигма. обаче, в ограничен смисъл, тъй като има някои функции:
- arity (валентност) на обекта не се определя предварително, но се проявява постепенно, по време на взаимодействие с други обекти;
- проектирането на съставната обектът е един от най-оригиналните обекти - функцията се прилага към друга - на аргумента, а в друг контекст, те могат да разменят ролите, това е, функции и аргументи, се третират като обекти, които са равнопоставени;
- оставени на само приложимост на функции, което означава, че обектът може да се приложи към себе си.
Практическо език за програмиране - език за програмиране. която има за цел да подкрепи процеса на програмиране за производство на резултатите от функцията в зависимост от комбинацията от променливи. Крайният резултат се постига чрез последователно прилагане на функционални трансформации на данните [1].
Примери на приложният програмни езици са функционални езици Lisp [2] и ML. В Haskell, тази парадигма програмиране реализира като приложна functor. дава възможност на функционален абстракция механизъм на по-високо, за да се мулти.
Свързани статии