Functional Programming

Functional Programming

Le Functional Programming, abrégé FP, est un langage créé par John Backus en 1977 dans son article intitulé Can programming be liberated from the von Neumann style ? : a functional style and its algebra of programs (en français : « La programmation peut-elle être libérée du modèle von Neumann ? : un modèle fonctionnel et son algèbre des programmes »).

La fonction factorielle s'écrira :

Def fact = eq0 -> ~1 ; * o [ id, fact o sub1 ]

avec :

Def eq0 = eq o [ id, ~0 ]

Def sub1 = - o [ id, ~1 ]

À voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Functional Programming de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… …   Wikipedia

  • functional programming — funkcinis programavimas statusas T sritis automatika atitikmenys: angl. functional programming vok. funktionale Programmierung, f rus. функциональное программирование, n pranc. programmation fonctionnelle, f …   Automatikos terminų žodynas

  • functional programming — funkcinis programavimas statusas T sritis informatika apibrėžtis Programavimo paradigma, kai skaičiavimai grindžiami funkcijomis. Veiksmai išreiškiami funkcijų aprašais ir kreipiniais į funkcijas. Funkcijos aprašas tiesiogiai (matematiškai)… …   Enciklopedinis kompiuterijos žodynas

  • functional programming — noun Programming in a style that, in lieu of assignment, uses procedure calls to bind variables to values …   Wiktionary

  • Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… …   Wikipedia

  • Total functional programming — (also known as strong functional programming [This term is due to: Citation|last1=Turner|first1=D.A.|author link=David Turner (computer scientist)|contribution=Elementary Strong Functional Programming|title=First International Symposium on… …   Wikipedia

  • List of functional programming topics — This is a list of functional programming topics. Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic …   Wikipedia

  • Algebraic Logic Functional programming language — also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and… …   Wikipedia

  • International Conference on Functional Programming — The International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming).The conference… …   Wikipedia

  • Journal of Functional Programming — Infobox Magazine title = Journal of Functional Programming editor = Paul Hudak, Xavier Leroy frequency = Bimonthly circulation = category = Scientific journal company = Cambridge University Press firstdate = 1991 country = United Kingdom language …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”