Table des matières
38 relations: Application web, Arithmétique multiprécision, Atom (éditeur de texte), Éditeur de texte, Compilateur, Compilation incrémentale, Electron (framework), Elm (langage), Emacs, F Sharp, Filtrage par motif, Framework, GitHub, Haskell, Hello world, Inférence de types, JavaScript, Kōka, Langage de programmation, Licence de logiciel permissive, OCaml, Programmation fonctionnelle, Programmation logique, Roy, Standard ML, Stratégie d'évaluation (informatique), Structure de données persistante, Sublime Text, Sucre syntaxique, Théorie des catégories, Théorie des types, Typage fort, Typage statique, Type algébrique de données, Type dépendant, TypeScript, Vim, Visual Studio Code.
Application web
En informatique, une application web (aussi appelée web application, de l'anglais et français) est une application manipulable directement en ligne grâce à un navigateur web et qui ne nécessite donc pas d'installation sur les machines clientes, contrairement aux applications mobiles.
Voir PureScript et Application web
Arithmétique multiprécision
L'arithmétique multiprécision désigne l'ensemble des techniques mises en œuvre pour manipuler dans un programme informatique des nombres (entiers, rationnels, ou flottants principalement) de taille arbitraire.
Voir PureScript et Arithmétique multiprécision
Atom (éditeur de texte)
Atom était un éditeur de texte, maintenant obsolète, libre pour macOS, GNU/Linux et Windows développé par la société GitHub.
Voir PureScript et Atom (éditeur de texte)
Éditeur de texte
Un éditeur de texte est un logiciel destiné à la création et l'édition de fichiers textes.
Voir PureScript et Éditeur de texte
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Voir PureScript et Compilateur
Compilation incrémentale
La compilation incrémentale est un type de calcul informatique qui intègre le compilateur du langage de programmation dans l'exécution d'un logiciel.
Voir PureScript et Compilation incrémentale
Electron (framework)
Electron est un environnement permettant de développer des applications multi-plateformes de bureau avec des technologies web (JavaScript, HTML et CSS).
Voir PureScript et Electron (framework)
Elm (langage)
Elm est un langage de programmation fonctionnel qui permet de créer des interfaces graphiques pour le web.
Voir PureScript et Elm (langage)
Emacs
Emacs est une famille d'éditeurs de texte disposant d'un ensemble extensible de fonctionnalités.
Voir PureScript et Emacs
F Sharp
F# est un langage de programmation fonctionnel, impératif et orienté objet pour la plate-forme.NET.
Filtrage par motif
Le filtrage par motif est la vérification de la présence de constituants d'un motif par un programme informatique, ou parfois par un matériel spécialisé.
Voir PureScript et Filtrage par motif
Framework
En programmation informatique, un (appelé aussi infrastructure logicielle, infrastructure de développement, environnement de développement., socle d'applications., cadre d'applications ou cadriciel) est un ensemble cohérent de composants logiciels structurels qui sert à créer les fondations ainsi que les grandes lignes de tout ou partie d'un logiciel, c'est-à-dire une architecture.
GitHub
en (entreprise) est un service web d'hébergement et de gestion de développement de logiciels, utilisant le logiciel de gestion de versions Git.
Voir PureScript et GitHub
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Hello world
Hello World » en Piet. « » (traduit littéralement en français par) sont les mots traditionnellement écrits par un programme informatique simple dont le but est de faire la démonstration rapide de son exécution sans erreur.
Voir PureScript et Hello world
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.
Voir PureScript et Inférence de types
JavaScript
JavaScript est un langage de programmation de scripts principalement employé dans les pages web interactives et à ce titre est une partie essentielle des applications web.
Kōka
* Kōka est une ville de la préfecture de Shiga, au Japon.
Voir PureScript et Kōka
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.
Voir PureScript et Langage de programmation
Licence de logiciel permissive
Les licences de logiciels dans le contexte du droit d'auteur: les licences permissives - deuxième à partir de la gauche, identifiées comme ''licences libres non protectrices'' (adapté de Mark Webbink). Une licence logicielle permissive est une licence libre dans le domaine informatique.
Voir PureScript et Licence de logiciel permissive
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.
Voir PureScript et OCaml
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.
Voir PureScript et Programmation fonctionnelle
Programmation logique
La programmation logique est une forme de programmation qui définit les applications à l'aide.
Voir PureScript et Programmation logique
Roy
Roy est un nom propre français et anglais qui peut faire référence à.
Voir PureScript et Roy
Standard ML
Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel.
Voir PureScript et Standard ML
Stratégie d'évaluation (informatique)
Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction.
Voir PureScript et Stratégie d'évaluation (informatique)
Structure de données persistante
En informatique, une structure de données persistante est une structure de données qui préserve ses versions antérieures lorsqu'elle est modifiée; une telle structure est immuable, car ses opérations ne la modifient pas en place (de manière visible) mais renvoient au contraire de nouvelles structures.
Voir PureScript et Structure de données persistante
Sublime Text
est un éditeur de texte générique codé en C++ et Python, disponible sur Windows, Mac et Linux.
Voir PureScript et Sublime Text
Sucre syntaxique
Sucre syntaxique et sel syntaxique sont des expressions utilisées en informatique à propos des langages de programmation.
Voir PureScript et Sucre syntaxique
Théorie des catégories
La théorie des catégories est l'étude des structures mathématiques et de leurs relations.
Voir PureScript et Théorie des catégories
Théorie des types
En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques.
Voir PureScript et Théorie des types
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.
Voir PureScript et Typage fort
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.
Voir PureScript et Typage statique
Type algébrique de données
Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (‐uplets ou enregistrements) et des types sommes (union disjointe).
Voir PureScript et Type algébrique de données
Type dépendant
En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé.
Voir PureScript et Type dépendant
TypeScript
est un langage de programmation libre et open source développé par Microsoft qui a pour but d'améliorer et de sécuriser la production de code JavaScript.
Vim
Vim est un éditeur de texte, c’est-à-dire un logiciel permettant la manipulation de fichiers texte.
Voir PureScript et Vim
Visual Studio Code
Visual Studio Code est un éditeur de code extensible développé par Microsoft pour Windows, Linux et macOS.
Voir PureScript et Visual Studio Code