OCaml et Typage statique

Raccourcis: Différences, Similitudes, Jaccard similarité Coefficient, Références.

Différence entre OCaml et Typage statique

OCaml vs. Typage statique

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

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.

C++ et OCaml · C++ et Typage statique · Voir plus »

Compilateur

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

Compilateur et OCaml · Compilateur et Typage statique · Voir plus »

Haskell

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

Haskell et OCaml · Haskell et Typage statique · 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.

Inférence de types et OCaml · Inférence de types et Typage statique · 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.

Java (langage) et OCaml · Java (langage) et Typage statique · Voir plus »

ML (langage)

ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.

ML (langage) et OCaml · ML (langage) et Typage statique · 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.

OCaml et Pascal (langage) · Pascal (langage) et Typage statique · 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.

OCaml et Polymorphisme (informatique) · Polymorphisme (informatique) et Typage statique · 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.

OCaml et Programmation impérative · Programmation impérative et Typage statique · 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.

OCaml et Programmation orientée objet · Programmation orientée objet et Typage statique · 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.

OCaml et Visual Basic · Typage statique et Visual Basic · Voir plus »