Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Installer
Accès plus rapide que le navigateur!
 

Typage fort

Indice 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.

23 relations: Ada (langage), Addition, C (langage), C++, Compilateur, Concaténation, Conversion de type, Exécution (informatique), Haskell, Informatique, Java (langage), JavaScript, Langage de programmation, OCaml, Pascal (langage), PureScript, Python (langage), Ruby, Rust (langage), Typage dynamique, Typage statique, Type (informatique), Visual Basic.

Ada (langage)

Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980.

Nouveau!!: Typage fort et Ada (langage) · Voir plus »

Addition

L'addition est une opération élémentaire, permettant notamment de décrire la réunion de quantités ou l'adjonction de grandeurs extensives de même nature, comme les longueurs, les aires, ou les volumes.

Nouveau!!: Typage fort et Addition · Voir plus »

C (langage)

C est un langage de programmation impératif, généraliste et de bas niveau.

Nouveau!!: Typage fort 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!!: Typage fort et C++ · Voir plus »

Compilateur

En informatique, un compilateur est un programme qui transforme un code source en un code objet.

Nouveau!!: Typage fort et Compilateur · Voir plus »

Concaténation

Le terme concaténation (substantif féminin), du latin, « avec », et, « chaîne, liaison », désigne l'action de mettre bout à bout au moins deux chaînes de caractères ou de péricopes.

Nouveau!!: Typage fort et Concaténation · Voir plus »

Conversion de type

En informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible).

Nouveau!!: Typage fort et Conversion de type · Voir plus »

Exécution (informatique)

En informatique, l'exécution est le processus par lequel un ordinateur ou une machine virtuelle met en œuvre les instructions d'un programme.

Nouveau!!: Typage fort et Exécution (informatique) · Voir plus »

Haskell

Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.

Nouveau!!: Typage fort et Haskell · Voir plus »

Informatique

bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.

Nouveau!!: Typage fort et 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!!: Typage fort et Java (langage) · Voir plus »

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.

Nouveau!!: Typage fort et JavaScript · 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!!: Typage fort et Langage de programmation · 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!!: Typage fort et OCaml · Voir plus »

Pascal (langage)

Pascal est un langage de programmation impératif qui, conçu pour l'enseignement, se caractérise par une syntaxe claire, rigoureuse et facilitant la structuration des programmes.

Nouveau!!: Typage fort et Pascal (langage) · Voir plus »

PureScript

PureScript est un langage de programmation fonctionnel fortement typé dont la compilation produit du code JavaScript.

Nouveau!!: Typage fort et PureScript · Voir plus »

Python (langage)

Python (prononcé) est un langage de programmation interprété, multiparadigme et multiplateformes.

Nouveau!!: Typage fort et Python (langage) · Voir plus »

Ruby

Ruby est un langage de programmation libre.

Nouveau!!: Typage fort et Ruby · 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!!: Typage fort et Rust (langage) · Voir plus »

Typage dynamique

Le typage dynamique est une technique utilisée dans certains langages de programmation pour assigner le type de la valeur dénotée par la variable durant l'exécution du code.

Nouveau!!: Typage fort et Typage dynamique · 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!!: Typage fort et Typage statique · 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!!: Typage fort et Type (informatique) · Voir plus »

Visual Basic

Visual Basic (VB) est un langage de programmation événementielle de troisième génération ainsi qu'un environnement de développement intégré, créé par Microsoft pour son modèle de programmation COM.

Nouveau!!: Typage fort et Visual Basic · Voir plus »

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »