Wolfram Language

Wolfram Language est un langage de calcul multi-paradigme général développé par la société Wolfram Research. Ce langage 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. Wolfram Language est un langage de calcul multi-paradigmes général développé par Wolfram Research. C'est également le langage de programmation de Mathematica (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. 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é. Wolfram Language possède des principes fondamentaux qui le différencient des autres langages de programmation : une base de connaissances intégrée, 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.