Accès plus rapide que le navigateur!
29 relations: Boo (langage), C Sharp, C++11, Caml, Code source, Compilateur, Crystal (langage de programmation), D (langage), F Sharp, Go (langage), Haskell, Haxe, Interprète (informatique), Java (langage), Kotlin (langage), Liste, ML (langage), OCaml, Polymorphisme (informatique), Programmation fonctionnelle, PureScript, Rust (langage), Scala (langage), Scol, Swift (langage d'Apple), Type (informatique), Type abstrait, TypeScript, Vala (langage).
Boo (langage)
est un langage de programmation objet, avec typage statique dont le développement a commencé en 2003, cherchant à faire usage de la gestion de l'Unicode, de l'internationalisation et des applications web de la Common Language Infrastructure, tout en utilisant une syntaxe inspirée de Python et en ayant une insistance sur l'extensibilité du langage et du compilateur.
Nouveau!!: Inférence de types et Boo (langage) · Voir plus »
C Sharp
C# (C sharp en anglais britannique) est un langage de programmation orientée objet, commercialisé par Microsoft depuis 2002 et destiné à développer sur la plateforme Microsoft.NET, au même titre que d’autres langages liés à cette plateforme (ex. VB.NET, J#, etc.) C# est dérivé du C++ et très proche du Java dont il reprend la syntaxe générale ainsi que les concepts, y ajoutant des notions telles que la surcharge des opérateurs, les et les délégués.
Nouveau!!: Inférence de types et C Sharp · Voir plus »
C++11
C++11, anciennement connu sous le nom de C++0x, est une norme pour le langage C++ en informatique.
Nouveau!!: Inférence de types et C++11 · 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!!: Inférence de types et Caml · Voir plus »
Code source
fr.
Nouveau!!: Inférence de types et Code source · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Inférence de types et Compilateur · Voir plus »
Crystal (langage de programmation)
Crystal est un langage de programmation orienté objet conçu et développé par Ary Borenszweig et Juan Wajnerman, ainsi que par plus d'une centaine de contributeurs listés.
Nouveau!!: Inférence de types et Crystal (langage de programmation) · Voir plus »
D (langage)
Le D est un langage de programmation impératif orienté objet et multi-paradigmes conçu pour la programmation système.
Nouveau!!: Inférence de types et D (langage) · Voir plus »
F Sharp
F# est un langage de programmation fonctionnel, impératif et orienté objet pour la plate-forme.NET.
Nouveau!!: Inférence de types et F Sharp · Voir plus »
Go (langage)
Go est un langage de programmation compilé et concurrent inspiré de C et Pascal.
Nouveau!!: Inférence de types et Go (langage) · Voir plus »
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Nouveau!!: Inférence de types et Haskell · Voir plus »
Haxe
Haxe est le nom d'un langage de programmation, multi-paradigme, multiplate-forme, haut niveau et celui d'un compilateur utilisé pour produire des applications pour de nombreuses plates-formes différentes à partir d'un seul code source.
Nouveau!!: Inférence de types et Haxe · Voir plus »
Interprète (informatique)
En informatique, un interprète, ou interpréteur, est un outil dont la tâche est d'analyser, de traduire et d'exécuter les programmes écrits dans un langage informatique.
Nouveau!!: Inférence de types et Interprète (informatique) · Voir plus »
Java (langage)
Java est un langage de programmation de haut niveau orienté objet créé par James Gosling et Patrick Naughton, employés de Sun Microsystems, avec le soutien de Bill Joy (cofondateur de Sun Microsystems en 1982), présenté officiellement le au.
Nouveau!!: Inférence de types et Java (langage) · Voir plus »
Kotlin (langage)
Kotlin est un langage de programmation orienté objet et fonctionnel, avec un typage statique qui permet de compiler pour la machine virtuelle Java, JavaScript, et vers plusieurs plateformes en natif (grâce à LLVM).
Nouveau!!: Inférence de types et Kotlin (langage) · Voir plus »
Liste
Une liste est un ensemble fini d'éléments énumérés de manière séquentielle (les uns après les autres) dans un ordre signifiant ou sans ordre précis.
Nouveau!!: Inférence de types et Liste · Voir plus »
ML (langage)
ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.
Nouveau!!: Inférence de types et ML (langage) · 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!!: Inférence de types et OCaml · Voir plus »
Polymorphisme (informatique)
En informatique et en théorie des types, le polymorphisme, du grec ancien polús (plusieurs) et morphê (forme), est le concept consistant à fournir une interface unique à des entités pouvant avoir différents types.
Nouveau!!: Inférence de types et Polymorphisme (informatique) · 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!!: Inférence de types et Programmation fonctionnelle · Voir plus »
PureScript
PureScript est un langage de programmation fonctionnel fortement typé dont la compilation produit du code JavaScript.
Nouveau!!: Inférence de types et PureScript · Voir plus »
Rust (langage)
est un langage de programmation compilé multi-paradigme qui met l'accent sur la performance, la sûreté des types et la concurrence.
Nouveau!!: Inférence de types et Rust (langage) · 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!!: Inférence de types et Scala (langage) · Voir plus »
Scol
Standard Cryo OnLine Language ou SCOL est un langage de haut niveau, interprété, typé (typage fort et statique, inférence de types), asynchrone et essentiellement fonctionnel créé par la société Cryo-Interactive en 1995.
Nouveau!!: Inférence de types et Scol · Voir plus »
Swift (langage d'Apple)
Swift est un langage de programmation objet compilé, multi-paradigmes, qui se veut simple, performant et sûr.
Nouveau!!: Inférence de types et Swift (langage d'Apple) · 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!!: Inférence de types et Type (informatique) · Voir plus »
Type abstrait
En informatique, un type de donnée abstrait (en anglais, abstract data type ou ADT) est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'on peut effectuer sur elles.
Nouveau!!: Inférence de types et Type abstrait · Voir plus »
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.
Nouveau!!: Inférence de types et TypeScript · Voir plus »
Vala (langage)
Vala est un langage de programmation compilé, dont l'objectif est de fournir les bénéfices des langages de programmation modernes (comme la POO) aux développeurs de la plateforme GNOME qui utilisent GLib et son système GObject.
Nouveau!!: Inférence de types et Vala (langage) · Voir plus »
