Accès plus rapide que le navigateur!
59 relations: Algorithme récursif, APL (langage), Bibliothèque graphique, Bien-être, Bytecode, C++, Cambridge University Press, Caml, Cloud computing, Crible d'Ératosthène, Darcs, Europe, Exécution spéculative, Factorielle, Fonction récursive, Functional Programming, Gestionnaire de fenêtres, Glasgow Haskell Compiler, Hackathon, Haskell Curry, Hugs, Inférence de types, Interface graphique, ISWIM, Lambda-calcul, Langage de programmation, Lisp, Liste en compréhension, Logiciel de gestion de versions, Logiciel libre, Logiciel multiplateforme, Logique combinatoire, Machine virtuelle, Massachusetts Institute of Technology, Mémoïsation, ML (langage), Monade (informatique), Nombre premier, OCaml, Opérateur (informatique), OpenGL, Oregon, Pandoc, Parrot (machine virtuelle), Portland (Oregon), Programmation fonctionnelle, Pugs, PureScript, Raku (langage), Scheme, ..., Suite de Fibonacci, Thread (informatique), Tri rapide, Typage fort, Typage statique, Université de Glasgow, Usenet, Xmonad, Zurich. Développer l'indice (9 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!!: Haskell et Algorithme récursif · Voir plus »
APL (langage)
L'APL (initialement, officieusement) est un langage de description de traitement de l'information devenu ensuite langage de programmation conçu entre 1957 et 1967 à Harvard par Kenneth Iverson pour décrire commodément des opérations globales sur des tableaux (booléens, numériques ou, dans une moindre mesure, de caractères).
Nouveau!!: Haskell et APL (langage) · Voir plus »
Bibliothèque graphique
Une bibliothèque graphique est une bibliothèque logicielle spécialisée dans les fonctions graphiques.
Nouveau!!: Haskell et Bibliothèque graphique · Voir plus »
Bien-être
La notion de bien-être renvoie, dans le sens commun, à un ensemble de facteurs considérés de façon séparée ou conjointe: la santé, la réussite sociale ou économique, le plaisir, la réalisation de soi, l'harmonie avec soi-même et avec les autres.
Nouveau!!: Haskell et Bien-être · Voir plus »
Bytecode
Code binaire En informatique, le (terme anglais signifiant « code en bytes ») est un code intermédiaire entre les instructions machines et le code source, qui n'est pas directement exécutable.
Nouveau!!: Haskell et Bytecode · 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!!: Haskell et C++ · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Haskell et Cambridge University Press · Voir plus »
Caml
Caml (prononcé camel, signifie Categorical Abstract Machine Language) est un langage de programmation généraliste conçu pour la sécurité et la fiabilité des programmes.
Nouveau!!: Haskell et Caml · Voir plus »
Cloud computing
Le, en français l'informatique en nuage.
Nouveau!!: Haskell et Cloud computing · Voir plus »
Crible d'Ératosthène
Le crible d'Ératosthène est un procédé qui permet de trouver tous les nombres premiers inférieurs à un certain entier naturel donné N. Le crible d'Atkin est plus rapide mais plus complexe.
Nouveau!!: Haskell et Crible d'Ératosthène · Voir plus »
Darcs
Darcs est un système de gestion de versions libre, qui sert à garder trace des versions successives d'un ensemble de fichiers (par exemple des sources d'un programme).
Nouveau!!: Haskell et Darcs · Voir plus »
Europe
L’Europe est un territoire considéré conventionnellement comme un continent, délimité à l’ouest par l’océan Atlantique et le détroit de Danemark, au nord par l’océan Arctique.
Nouveau!!: Haskell et Europe · Voir plus »
Exécution spéculative
En informatique, l'exécution spéculative correspond au lancement anticipé d'une instruction, c'est-à-dire sans être certain que celle-ci ait réellement besoin d'être exécutée.
Nouveau!!: Haskell et Exécution spéculative · Voir plus »
Factorielle
En mathématiques, la factorielle d'un entier naturel n est le produit des nombres entiers strictement positifs inférieurs ou égaux à n. Cette opération est notée avec un point d'exclamation, n!, ce qui se lit soit « factorielle de n », soit « factorielle n », soit « n factorielle ».
Nouveau!!: Haskell et Factorielle · Voir plus »
Fonction récursive
En informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini.
Nouveau!!: Haskell et Fonction récursive · Voir plus »
Functional Programming
Le Functional Programming, abrégé FP, est un langage créé par John Backus en 1977 dans son article intitulé « von Neumann style ?: a functional style and its algebra of programs ».
Nouveau!!: Haskell et Functional Programming · Voir plus »
Gestionnaire de fenêtres
Un système de fenêtrage ou « gestionnaire de fenêtres » (« window manager » en anglais) est un logiciel chargé de l'affichage et du placement des fenêtres d'applications.
Nouveau!!: Haskell et Gestionnaire de fenêtres · Voir plus »
Glasgow Haskell Compiler
GHC (en anglais, « » parfois appelé également le « ») est un compilateur libre pour le langage fonctionnel Haskell.
Nouveau!!: Haskell et Glasgow Haskell Compiler · Voir plus »
Hackathon
Un hackathon, marathon de programmation.
Nouveau!!: Haskell et Hackathon · Voir plus »
Haskell Curry
Haskell Brooks Curry (né le et mort le) est un logicien et mathématicien américain.
Nouveau!!: Haskell et Haskell Curry · Voir plus »
Hugs
Hugs (pour Haskell User's Gofer System, en anglais) est un interpréteur pour le langage de programmation Haskell diffusé sous licence BSD.
Nouveau!!: Haskell et Hugs · Voir plus »
Inférence de types
L'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source.
Nouveau!!: Haskell et Inférence de types · Voir plus »
Interface graphique
widgets'' typiques. En informatique, une interface graphique (en anglais pour) ou un environnement graphique est un dispositif de dialogue homme-machine, dans lequel les objets à manipuler sont dessinés sous forme de pictogrammes à l'écran, de sorte que l'usager peut les utiliser en imitant la manipulation physique de ces objets avec un dispositif de pointage, le plus souvent une souris.
Nouveau!!: Haskell et Interface graphique · Voir plus »
ISWIM
ISWIM est un langage de programmation abstrait (ou plus précisément une famille de langages de programmation) conçu par Peter J. Landin et décrit dans un article célèbre intitulé Les 700 prochains langages de programmation et publié dans les Communications of the ACM en 1966.
Nouveau!!: Haskell et ISWIM · 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!!: Haskell 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!!: Haskell et Langage de programmation · Voir plus »
Lisp
Lisp est la plus ancienne famille de langages de programmation à la fois impératifs et fonctionnels.
Nouveau!!: Haskell et Lisp · Voir plus »
Liste en compréhension
En programmation informatique, la syntaxe de certains langages de programmation permet de définir des listes en compréhension, c'est-à-dire des listes dont le contenu est défini par filtrage du contenu d'une autre liste selon un principe analogue à celui de la définition en compréhension de la théorie des ensembles.
Nouveau!!: Haskell et Liste en compréhension · Voir plus »
Logiciel de gestion de versions
Un logiciel de gestion de versions (ou VCS en anglais, pour version control system) est un logiciel qui permet de stocker un ensemble de fichiers en conservant la chronologie de toutes les modifications qui ont été effectuées dessus.
Nouveau!!: Haskell et Logiciel de gestion de versions · Voir plus »
Logiciel libre
alt.
Nouveau!!: Haskell et Logiciel libre · Voir plus »
Logiciel multiplateforme
Un logiciel multiplateforme est un logiciel conçu pour fonctionner sur plusieurs plateformes informatiques.
Nouveau!!: Haskell et Logiciel multiplateforme · Voir plus »
Logique combinatoire
En logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer.
Nouveau!!: Haskell et Logique combinatoire · Voir plus »
Machine virtuelle
Palm. En informatique, une machine virtuelle (anglais virtual machine, abr. VM) est d'un appareil informatique créée par un logiciel d'émulation ou instanciée sur un hyperviseur.
Nouveau!!: Haskell et Machine virtuelle · Voir plus »
Massachusetts Institute of Technology
Le grand dôme du MIT. Le Massachusetts Institute of Technology (MIT), en français Institut de technologie du Massachusetts, est un institut de recherche américain et une université, spécialisé dans les domaines de la science et de la technologie.
Nouveau!!: Haskell et Massachusetts Institute of Technology · Voir plus »
Mémoïsation
En informatique, la mémoïsation (ou mémoïzation) est la mise en cache des valeurs de retour d'une fonction selon ses valeurs d'entrée.
Nouveau!!: Haskell et Mémoïsation · Voir plus »
ML (langage)
ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.
Nouveau!!: Haskell 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!!: Haskell et Monade (informatique) · Voir plus »
Nombre premier
Entiers naturels de zéro à cent. Les nombres premiers sont marqués en rouge. 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs.
Nouveau!!: Haskell et Nombre premier · 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!!: Haskell et OCaml · Voir plus »
Opérateur (informatique)
En programmation informatique, un opérateur est une fonction spéciale dont l'identificateur s'écrit généralement avec des caractères non autorisés pour l'identificateur des fonctions ordinaires.
Nouveau!!: Haskell et Opérateur (informatique) · Voir plus »
OpenGL
Graphics Pipeline Process''). OpenGL est un ensemble normalisé de fonctions de calcul d'images 2D ou 3D lancé par Silicon Graphics en 1992Dave Astle et Kevin H. Hawkins,, Cengage Learning - 2004.
Nouveau!!: Haskell et OpenGL · Voir plus »
Oregon
LOregon (en anglais) est un État du Nord-Ouest des États-Unis, situé sur la côte Pacifique entre les États de Washington au nord, de Californie au sud, du Nevada au sud-est, et de l'Idaho à l'est.
Nouveau!!: Haskell et Oregon · Voir plus »
Pandoc
Pandoc est un logiciel libre de conversion de documents numériques en ligne de commande développé par John MacFarlane en Haskell et publié sous licence GPL.
Nouveau!!: Haskell et Pandoc · Voir plus »
Parrot (machine virtuelle)
Parrot est une machine virtuelle à base de registres développée par la communauté Perl.
Nouveau!!: Haskell et Parrot (machine virtuelle) · Voir plus »
Portland (Oregon)
Portland est la plus grande ville de l'Oregon, État du nord-ouest des États-Unis.
Nouveau!!: Haskell et Portland (Oregon) · Voir plus »
Programmation fonctionnelle
La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Nouveau!!: Haskell et Programmation fonctionnelle · Voir plus »
Pugs
Pugs était une mise en œuvre expérimentale de Perl 6 en langage Haskell, et utilisant les spécificités les plus avancées de GHC.
Nouveau!!: Haskell et Pugs · Voir plus »
PureScript
PureScript est un langage de programmation fonctionnel fortement typé dont la compilation produit du code JavaScript.
Nouveau!!: Haskell et PureScript · Voir plus »
Raku (langage)
Raku (anciennement Perl 6) est un langage de programmation qui fut un temps considéré comme la sixième version majeure de Perl.
Nouveau!!: Haskell et Raku (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!!: Haskell et Scheme · Voir plus »
Suite de Fibonacci
Une juxtaposition de carrés dont les côtés ont pour longueur des nombres successifs de la suite de Fibonacci: 1, 1, 2, 3, 5, 8, 13 et 21. En mathématiques, la suite de Fibonacci est une suite de nombres entiers dans laquelle chaque nombre est la somme des deux nombres qui le précèdent.
Nouveau!!: Haskell et Suite de Fibonacci · Voir plus »
Thread (informatique)
threads''. Un ou fil (traduction normalisés par ISO/CEI 2382-7:2000 (autres appellations connues: processus léger, fil d'exécution, fil d'instruction, processus allégé, filet d'exécutionLarousse référence: dictionnaire de l'informatique, sous la direction de Pierre Morvan, 1996, exétron, tâche, voire unité d'exécution ou unité de traitement) est similaire à un processus car tous deux représentent l'exécution d'un ensemble d'instructions du langage machine d'un processeur. Du point de vue de l'utilisateur, ces exécutions semblent se dérouler en parallèle. Toutefois, là où chaque processus possède sa propre mémoire virtuelle, les d'un même processus se partagent sa mémoire virtuelle. En revanche, tous les possèdent leur propre pile d'exécution.
Nouveau!!: Haskell et Thread (informatique) · Voir plus »
Tri rapide
En informatique, le tri rapide ou tri pivot (en anglais quicksort) est un algorithme de tri inventé par C.A.R. Hoare en 1961 et fondé sur la méthode de conception diviser pour régner.
Nouveau!!: Haskell et Tri rapide · Voir plus »
Typage fort
En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées.
Nouveau!!: Haskell et Typage fort · Voir plus »
Typage statique
Le typage statique est une technique utilisée dans certains langages de programmation impératifs (C++, Java, Pascal, ou même Visual Basic avec lOption Explicit) pour associer à un symbole dénotant une variable le type de la valeur dénotée par la variable; et dans certains langages de programmation fonctionnels (ML, OCaml, Haskell, PureScript, etc.) pour associer à une fonction (un calcul) le type de son paramètre et le type de la valeur calculée.
Nouveau!!: Haskell et Typage statique · Voir plus »
Université de Glasgow
L'université de Glasgow, fondée en 1451 sous Jacques II d'Écosse, est la plus importante des trois universités à Glasgow, en Écosse.
Nouveau!!: Haskell et Université de Glasgow · Voir plus »
Usenet
Usenet est un système en réseau de forums, inventé en 1979, lancé publiquement en 1980 à l’université de Caroline du Nord à Chapel Hill et l'université Duke.
Nouveau!!: Haskell et Usenet · Voir plus »
Xmonad
xmonad est un gestionnaire de fenêtres par pavage pour le système X Window écrit, configurable et extensible en Haskell.
Nouveau!!: Haskell et Xmonad · Voir plus »
Zurich
Zurich (ou) (allemand: Zürich, suisse allemand: Züri, en Suisse, italien: Zurigo, romanche: Turitg) est une ville de Suisse, capitale du canton de Zurich.
Nouveau!!: Haskell et Zurich · Voir plus »
