Accès plus rapide que le navigateur!
72 relations: Affectation (informatique), Algorithme récursif, Alonzo Church, Années 1930, Anubis (langage), Application (mathématiques), Architecture de von Neumann, Association for Computing Machinery, Attribut (informatique), Automate fini, Bug (informatique), C (langage), C++, CDuce, Classe (informatique), Common Lisp, Conception de logiciel, Effet de bord (informatique), Encapsulation (programmation), Ericsson, Erlang (langage), Extensible Markup Language, Extensible Stylesheet Language Transformations, F Sharp, Fonction (mathématiques), Fonction d'ordre supérieur, Fonction de rappel, Fonctionnelle, Haskell, Instrumentation du code source, John McCarthy, Lambda-calcul, Langage de programmation, Licence Apache, Licence de logiciel, Lisp, Machine à compteurs, Machine de Turing, Microsoft Research, ML (langage), Monade (informatique), OCaml, Oz (langage), Paradigme (programmation), Pile (informatique), Portée lexicale, Programmation concurrente, Programmation déclarative, Programmation impérative, Programmation orientée objet, ..., Programmation structurée, Propriété universelle, PureScript, Ramasse-miettes (informatique), Récursion terminale, Scala (langage), Scheme, Stephen Cole Kleene, Structure de données, Théorie des catégories, Transparence référentielle, Type (informatique), Uplet, Variable globale, Variable locale, 1958, 1973, 1975, 1984, 1987, 2003, 2013. Développer l'indice (22 plus) »
Affectation (informatique)
En algorithmique et en programmation informatique, une affectation, aussi appelée assignation par anglicisme, est une structure qui permet d'attribuer une valeur à une variable.
Nouveau!!: Programmation fonctionnelle et Affectation (informatique) · Voir plus »
Algorithme récursif
Un algorithme récursif est un algorithme qui résout un problème en calculant des solutions d'instances plus petites du même problème.
Nouveau!!: Programmation fonctionnelle et Algorithme récursif · Voir plus »
Alonzo Church
Alonzo Church (Washington - Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
Nouveau!!: Programmation fonctionnelle et Alonzo Church · Voir plus »
Années 1930
Les années 1930 couvrent la période de 1930 à 1939.
Nouveau!!: Programmation fonctionnelle et Années 1930 · Voir plus »
Anubis (langage)
Anubis est un langage de programmation informatique.
Nouveau!!: Programmation fonctionnelle et Anubis (langage) · Voir plus »
Application (mathématiques)
Diagramme représentatif d'une application entre deux ensembles. En mathématiques, une application est une relation entre deux ensembles pour laquelle chaque élément du premier (appelé ensemble de départ ou source) est relié à un unique élément du second (l’ensemble d'arrivée ou but).
Nouveau!!: Programmation fonctionnelle et Application (mathématiques) · Voir plus »
Architecture de von Neumann
L’architecture dite architecture de von Neumann est un modèle pour un ordinateur qui utilise une structure de stockage unique pour conserver à la fois les instructions et les données demandées ou produites par le calcul.
Nouveau!!: Programmation fonctionnelle et Architecture de von Neumann · Voir plus »
Association for Computing Machinery
L'ACM (en anglais « », littéralement « association pour les machines de calcul ») est une association internationale à but non lucratif fondée en 1947, la première à être vouée à l'informatique.
Nouveau!!: Programmation fonctionnelle et Association for Computing Machinery · Voir plus »
Attribut (informatique)
En informatique, le terme "attribut" a plusieurs significations.
Nouveau!!: Programmation fonctionnelle et Attribut (informatique) · Voir plus »
Automate fini
Fig. 1: Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais ou ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Nouveau!!: Programmation fonctionnelle et Automate fini · Voir plus »
Bug (informatique)
MacIntosh d'Apple. En informatique, un bug (prononcé en français: Prononciation en français européen retranscrite phonémiquement selon la norme API.) ou bogueRecommandé en France par la Délégation générale à la langue française et aux langues de France (DGLFLF), au Canada et en Belgique.
Nouveau!!: Programmation fonctionnelle et Bug (informatique) · Voir plus »
C (langage)
C est un langage de programmation impératif, généraliste et de bas niveau.
Nouveau!!: Programmation fonctionnelle et C (langage) · Voir plus »
C++
C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique.
Nouveau!!: Programmation fonctionnelle et C++ · Voir plus »
CDuce
CDuce est un langage de programmation fonctionnel, d'ordre supérieur, fortement typé, adapté à la manipulation sûre et efficace de documents XML.
Nouveau!!: Programmation fonctionnelle et CDuce · Voir plus »
Classe (informatique)
En programmation orientée objet, la déclaration d'une classe regroupe des membres, méthodes et propriétés (attributs) communs à un ensemble d'objets.
Nouveau!!: Programmation fonctionnelle et Classe (informatique) · Voir plus »
Common Lisp
Common Lisp (en abrégé CL) est une spécification du langage Lisp standardisée par l'ANSI.
Nouveau!!: Programmation fonctionnelle et Common Lisp · Voir plus »
Conception de logiciel
La conception de logiciel met en œuvre un ensemble d'activités qui à partir d'une demande d'informatisation d'un processus (demande qui peut aller de la simple question orale jusqu'au cahier des charges complet) permettent la conception, l'écriture et la mise au point d'un logiciel (et donc de programmes informatiques) jusqu'à sa livraison au demandeur.
Nouveau!!: Programmation fonctionnelle et Conception de logiciel · Voir plus »
Effet de bord (informatique)
En informatique, une fonction est dite à effet de bord (traduction mot à mot de l'anglais side effect, dont le sens est plus proche deffet secondaire) si elle modifie un état en dehors de son environnement local, c'est-à-dire a une interaction observable avec le monde extérieur autre que retourner une valeur.
Nouveau!!: Programmation fonctionnelle et Effet de bord (informatique) · Voir plus »
Encapsulation (programmation)
En programmation, l’encapsulation désigne le regroupement de données avec un ensemble de routines qui en permettent la lecture et la manipulation.
Nouveau!!: Programmation fonctionnelle et Encapsulation (programmation) · Voir plus »
Ericsson
Le siège de l'entreprise. Ericsson est une entreprise suédoise de télécommunications fondée en 1876 par Lars Magnus Ericsson.
Nouveau!!: Programmation fonctionnelle et Ericsson · Voir plus »
Erlang (langage)
LYME et LYCE sont basés sur '''Erlang''' et offrent des alternatives à LAMP. Erlang est un langage de programmation, supportant plusieurs paradigmes: concurrent, temps réel, distribué.
Nouveau!!: Programmation fonctionnelle et Erlang (langage) · Voir plus »
Extensible Markup Language
LExtensible Markup Language, généralement appelé XMLCe nom est une idée de James Clark, elle est expliquée par dans sa.
Nouveau!!: Programmation fonctionnelle et Extensible Markup Language · Voir plus »
Extensible Stylesheet Language Transformations
XSLT (eXtensible Stylesheet Language Transformations), défini au sein de la recommandation XSL du W3C, est un langage de transformation XML de type fonctionnel.
Nouveau!!: Programmation fonctionnelle et Extensible Stylesheet Language Transformations · Voir plus »
F Sharp
F# est un langage de programmation fonctionnel, impératif et orienté objet pour la plate-forme.NET.
Nouveau!!: Programmation fonctionnelle et F Sharp · Voir plus »
Fonction (mathématiques)
Diagramme de calcul pour la fonction x \mapsto \frac2x-1x+3 En mathématiques, une fonction permet de définir un résultat (le plus souvent numérique) pour chaque valeur d’un ensemble appelé domaine.
Nouveau!!: Programmation fonctionnelle et Fonction (mathématiques) · Voir plus »
Fonction d'ordre supérieur
En mathématiques et en informatique, les fonctions d'ordre supérieur sont des fonctions qui ont au moins une des propriétés suivantes.
Nouveau!!: Programmation fonctionnelle et Fonction d'ordre supérieur · Voir plus »
Fonction de rappel
En informatique, une fonction de rappel (en anglais) ou fonction de post-traitement est une fonction qui est passée en argument à une autre fonction.
Nouveau!!: Programmation fonctionnelle et Fonction de rappel · Voir plus »
Fonctionnelle
Une fonctionnelle, en mathématiques, est une application d'un espace vectoriel — généralement un espace vectoriel de fonctions — vers son corps de scalaires.
Nouveau!!: Programmation fonctionnelle et Fonctionnelle · Voir plus »
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Nouveau!!: Programmation fonctionnelle et Haskell · Voir plus »
Instrumentation du code source
En informatique, l'instrumentation du code est une opération consistant à ajouter des instructions machine supplémentaires à un programme informatique sans nécessiter la modification du code source original.
Nouveau!!: Programmation fonctionnelle et Instrumentation du code source · Voir plus »
John McCarthy
John McCarthy, né le, à Boston (Massachusetts) et mort le à Stanford (Californie); sur Slate.fr, est le principal pionnier de l'intelligence artificielle avec Marvin Lee Minsky; il incarne le courant mettant l'accent sur la logique symbolique.
Nouveau!!: Programmation fonctionnelle et John McCarthy · Voir plus »
Lambda-calcul
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.
Nouveau!!: Programmation fonctionnelle et Lambda-calcul · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Programmation fonctionnelle et Langage de programmation · Voir plus »
Licence Apache
La licence Apache est une licence de logiciel libre et open source.
Nouveau!!: Programmation fonctionnelle et Licence Apache · Voir plus »
Licence de logiciel
Une licence de logiciel est un contrat par lequel le titulaire des droits d'auteur sur un programme informatique définit avec son cocontractant (exploitant ou utilisateur) les conditions dans lesquelles ce programme peut être utilisé, diffusé ou modifié.
Nouveau!!: Programmation fonctionnelle et Licence de logiciel · Voir plus »
Lisp
Lisp est la plus ancienne famille de langages de programmation à la fois impératifs et fonctionnels.
Nouveau!!: Programmation fonctionnelle et Lisp · Voir plus »
Machine à compteurs
En informatique théorique, une machine à compteurs est un modèle de calcul.
Nouveau!!: Programmation fonctionnelle et Machine à compteurs · Voir plus »
Machine de Turing
En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Nouveau!!: Programmation fonctionnelle et Machine de Turing · Voir plus »
Microsoft Research
Microsoft Research (MSR) est une division de Microsoft spécialisée dans la recherche en informatique créée en 1991.
Nouveau!!: Programmation fonctionnelle et Microsoft Research · Voir plus »
ML (langage)
ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.
Nouveau!!: Programmation fonctionnelle et ML (langage) · Voir plus »
Monade (informatique)
En théorie des langages fonctionnels typés, une monade est un patron de conception qui combine des éléments de langages fonctionnels avec des méthodologies propres aux langages impératifs.
Nouveau!!: Programmation fonctionnelle et Monade (informatique) · Voir plus »
OCaml
OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, Jérôme Vouillon,, Didier Rémy et leurs collaborateurs en 1996.
Nouveau!!: Programmation fonctionnelle et OCaml · Voir plus »
Oz (langage)
Oz est un langage de programmation permettant d'employer et de combiner différents paradigmes de programmation.
Nouveau!!: Programmation fonctionnelle et Oz (langage) · Voir plus »
Paradigme (programmation)
langue.
Nouveau!!: Programmation fonctionnelle et Paradigme (programmation) · Voir plus »
Pile (informatique)
En informatique, une pile (en anglais stack) est une structure de données fondée sur le principe « dernier arrivé, premier sorti » (en anglais LIFO pour last in, first out), ce qui veut dire qu'en général, le dernier élément ajouté à la pile est le premier à en sortir.
Nouveau!!: Programmation fonctionnelle et Pile (informatique) · Voir plus »
Portée lexicale
En informatique, la portée lexicale (dite également portée statique), est une méthode pour déterminer la portée d'une variable en fonction de sa position dans le code.
Nouveau!!: Programmation fonctionnelle et Portée lexicale · Voir plus »
Programmation concurrente
La programmation concurrente est un paradigme de programmation tenant compte, dans un programme, de l'existence de plusieurs piles sémantiques qui peuvent être appelées threads, processus ou tâches.
Nouveau!!: Programmation fonctionnelle et Programmation concurrente · Voir plus »
Programmation déclarative
Binario cropped. La programmation déclarative est un paradigme de programmation qui consiste à créer des applications sur la base de composants logiciels indépendants du contexte et ne comportant aucun état interne.
Nouveau!!: Programmation fonctionnelle et Programmation déclarative · Voir plus »
Programmation impérative
En informatique, la programmation impérative est un paradigme de programmation qui décrit les opérations en séquences d'instructions exécutées par l'ordinateur pour modifier l'état du programme.
Nouveau!!: Programmation fonctionnelle et Programmation impérative · Voir plus »
Programmation orientée objet
Schéma proposant un exemple de programmation orientée objet. La programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique.
Nouveau!!: Programmation fonctionnelle et Programmation orientée objet · Voir plus »
Programmation structurée
La programmation structurée constitue un sous-ensemble de la programmation impérative.
Nouveau!!: Programmation fonctionnelle et Programmation structurée · Voir plus »
Propriété universelle
En mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur.
Nouveau!!: Programmation fonctionnelle et Propriété universelle · Voir plus »
PureScript
PureScript est un langage de programmation fonctionnel fortement typé dont la compilation produit du code JavaScript.
Nouveau!!: Programmation fonctionnelle et PureScript · Voir plus »
Ramasse-miettes (informatique)
Illustration d'un ramasse-miette compactant. Un ramasse-miettes.
Nouveau!!: Programmation fonctionnelle et Ramasse-miettes (informatique) · Voir plus »
Récursion terminale
En informatique, la récursion terminale, aussi appelée, récursion finale, est un cas particulier de récursivité assimilée à une itération.
Nouveau!!: Programmation fonctionnelle et Récursion terminale · Voir plus »
Scala (langage)
Scala est un langage de programmation multi-paradigme conçu à l'École polytechnique fédérale de Lausanne (EPFL) pour exprimer les modèles de programmation courants dans une forme concise et élégante.
Nouveau!!: Programmation fonctionnelle et Scala (langage) · Voir plus »
Scheme
(prononciation) est un langage de programmation dérivé du langage fonctionnel Lisp, créé dans les années 1970 au Massachusetts Institute of Technology (MIT) par Gerald Jay Sussman et Guy L. Steele.
Nouveau!!: Programmation fonctionnelle et Scheme · Voir plus »
Stephen Cole Kleene
Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.
Nouveau!!: Programmation fonctionnelle et Stephen Cole Kleene · Voir plus »
Structure de données
En informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement.
Nouveau!!: Programmation fonctionnelle et Structure de données · Voir plus »
Théorie des catégories
La théorie des catégories est l'étude des structures mathématiques et de leurs relations.
Nouveau!!: Programmation fonctionnelle et Théorie des catégories · Voir plus »
Transparence référentielle
La transparence référentielle est une propriété des expressions d'un langage de programmation qui fait qu'une expression peut être remplacée par sa valeur sans changer le comportement du programme.
Nouveau!!: Programmation fonctionnelle et Transparence référentielle · Voir plus »
Type (informatique)
Présentation des principaux '''types de données'''. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués.
Nouveau!!: Programmation fonctionnelle et Type (informatique) · Voir plus »
Uplet
Coordonnées XYZ. Basé sur le travail d'InductiveLoad En mathématiques, un uplet (désigné aussi par liste, famille finie, ou suite finie) est une collection ordonnée finie d'objets.
Nouveau!!: Programmation fonctionnelle et Uplet · Voir plus »
Variable globale
En programmation informatique, une variable globale est une variable déclarée à l'extérieur du corps de toute fonction ou classe, et pouvant donc être utilisée n'importe où dans le programme.
Nouveau!!: Programmation fonctionnelle et Variable globale · Voir plus »
Variable locale
En programmation informatique, une variable locale est une variable qui ne peut être utilisée que dans la fonction ou le bloc où elle est définie.
Nouveau!!: Programmation fonctionnelle et Variable locale · Voir plus »
1958
L'année 1958 est une année commune qui commence un mercredi.
Nouveau!!: Programmation fonctionnelle et 1958 · Voir plus »
1973
L'année 1973 est une année commune qui commence un lundi.
Nouveau!!: Programmation fonctionnelle et 1973 · Voir plus »
1975
L'année 1975 est une année commune qui commence un mercredi.
Nouveau!!: Programmation fonctionnelle et 1975 · Voir plus »
1984
L'année 1984 est une année bissextile qui commence un dimanche.
Nouveau!!: Programmation fonctionnelle et 1984 · Voir plus »
1987
L'année 1987 est une année commune qui commence un jeudi.
Nouveau!!: Programmation fonctionnelle et 1987 · Voir plus »
2003
L'année 2003 est une année commune qui commence un mercredi.
Nouveau!!: Programmation fonctionnelle et 2003 · Voir plus »
2013
L'année 2013 est une année commune qui commence un mardi.
Nouveau!!: Programmation fonctionnelle et 2013 · Voir plus »
