Wolfram Language

Wolfram Language est un langage de calcul multi-paradigmes général développé par Wolfram Research[4]. C'est également le langage de programmation de Mathematica[5] (programme de calcul symbolique mathématique) et du Wolfram Programming Cloud. Il est utilisé pour le calcul symbolique, la programmation fonctionnelle et la programmation basée sur des règles et il peut utiliser des structures et des données arbitraires[6].

Ce langage comprend des fonctions intégrées pour générer et exécuter des machines de Turing, créer des graphiques et du son, analyser des modèles 3D, des manipulations matricielles et résoudre des équations différentielles. Il est largement documenté[7].

Wolfram Language possède des principes fondamentaux qui le différencient des autres langages de programmation : une base de connaissances intégrée[8], l'automatisation sous la forme de méta-algorithmes et de superfonctions, une compréhension du langage naturel intégrée...

En 2019, les bibliothèques de Wolfram sont devenues compatibles avec le moteur de jeu Unity, donnant ainsi aux développeurs de jeux un accès aux fonctions de haut niveau du langage.

Le principe de fonctionnement du langage Wolfram repose sur la manipulation d' expressions symboliques de la forme :

   Head[arg1, arg2, ...]

où Head, arg1, arg2 ... sont elles-mêmes d'autres expressions ou des symboles génériques telles que des chaînes de caractères, des identificateurs, des nombres ou, lorsque l'environnement de programmation le permet, des images. Ce concept est similaire à celui définissant les S-expressions.

Certaines expressions symboliques sont interprétées comme des règles de transformations d'autres expressions symboliques. Par exemple l'expression Rule[foo, bar] est une règle de transformation qui consiste à remplacer toute occurrence du symbole foo dans une expression par le symbole bar. Le langage associe certaines règles à certains symboles, et permet à l'utilisateur de définir ses propres associations, ce qui procure un mécanisme équivalent à la définition d'une routine ou d'une procédure.

L'application successive de ces règles de transformation constitue le concept unificateur qui sous-tend le paradigme de programmation symbolique du langage[9], le rendant assez proche du lambda calcul ou d'autres langages fonctionnels tels que Lisp. Plus généralement il s’agit d’un système dit de réécriture.

Si dans l'absolu le langage Wolfram interprète tout programme informatique comme une expression symbolique, le langage est toutefois muni d'une riche syntaxe facilitant leur visualisation ou leur saisie.

Par exemple les listes, qui dans le langage Wolfram sont représentées par des expressions symboliques ayant pour "Head" le symbole List, peuvent aussi être représentées par des accolades. Ainsi les deux lignes ci-dessous représentent la même expression symbolique :

   List[a, b, c]
   {a, b, c}

La représentation d'une expression symbolique sous sa forme exacte est la forme dite complète (FullForm). La représentation par défaut est la forme dite standardisée (StandardForm) qui incorpore en général les raccourcis syntaxiques tels que celui susmentionné.

• Stephen Wolfram
• Wolfram Mathematica
• Interface pour notebook
• Wolfram Research
• Wolfram Alpha

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Wolfram Language » (voir la liste des auteurs).