Langage de programmation Mojo : quels sont ses caractéristiques et ses avantages ?
Modular AI est une startup américaine spécialisée dans les infrastructures d'IA fondée par Tim Davis et Chris Lattner, deux anciens employés de Google. La société vient de lancer Mojo, un nouveau langage de programmation qui tente de combler le fossé entre la recherche et la production en combinant le meilleur de la syntaxe Python avec la programmation de systèmes et la métaprogrammation. « Mojo permet une programmabilité inégalée du matériel d'IA et l'extensibilité des modèles d'IA. Vous pouvez écrire du code portable plus rapide que le C et interopérer de manière transparente avec l'écosystème Python », indique la documentation du langage.
[tweet]<blockquote class="twitter-tweet"><p lang="en" dir="ltr">Mojo🔥 combines the usability of Python with the performance of C, unlocking unparalleled programmability of AI hardware and extensibility of AI models. <br><br>Also, it's up to 35000x faster than Python 🤯 and … deploys 🏎 <a href="https://t.co/tjT09U4F80">pic.twitter.com/tjT09U4F80</a></p>— Modular (@Modular_AI) <a href="https://twitter.com/Modular_AI/status/1653436642248781825?ref_src=twsrc%5Etfw">May 2, 2023</a></blockquote> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>[/tweet]
Modular AI affirme qu'elle n'avait pas l'intention de créer un nouveau langage de programmation. « Mais alors que nous construisions notre plateforme avec l'intention d'unifier l'infrastructure ML/AI mondiale, nous avons réalisé que la programmation à travers toute la pile était trop compliquée », note l'équipe. Cela signifie qu'il faut construire un langage de programmation avec une métaprogrammation puissante au moment de la compilation, l'intégration de techniques de compilation adaptatives, la mise en cache tout au long du flux de compilation, et d'autres choses qui ne sont pas prises en charge par les langages existants. Mais ils ne sont pas partis de zéro.
Mojo exploitera l'ensemble de l'écosystème des bibliothèques Python, tout en étant construit sur une toute nouvelle base de code. Ceci, ainsi que la capacité de calcul élevée de C/C++, permettra aux développeurs d'IA Python de s'appuyer sur Mojo, au lieu de se rabattre sur C ou C++. Selon les développeurs, l'une des principales motivations de la création de Mojo est que la plupart des systèmes de programmation modernes s'appuient sur des accélérateurs tels que les GPU pour les opérations, et ne s'appuient sur les CPU principaux que pour les opérations de support telles que le chargement des données, le prétraitement et le post-traitement, etc.
La startup souhaitait prendre en charge l'ensemble de ces opérations dans un seul et même langage. De plus, pour ne pas avoir à construire et à innover une nouvelle syntaxe ou une nouvelle communauté, l'entreprise a décidé d'opter pour Python et son écosystème. Mojo restera également open source jusqu'à ce qu'il devienne le superset de Python 3. Voici quelques-unes des principales caractéristiques et avantages cités par Modular AI pour Mojo :
- prise en charge native de plusieurs backends matériels : Mojo prend en charge plusieurs backends matériels, notamment les CPU, les GPU, les TPU et les ASIC personnalisés, ce qui permet aux développeurs de tirer parti des atouts de chaque type de matériel ;
- syntaxe et sémantique de haut niveau : Mojo possède une syntaxe et une sémantique de haut niveau similaires à celles de Python, ce qui facilite son apprentissage et son utilisation par les développeurs familiers de Python ;
- parallélisation automatique : Mojo parallélise automatiquement le code sur plusieurs backends matériels, ce qui facilite l'écriture d'un code parallèle efficace sans avoir à se préoccuper des détails de bas niveau de la parallélisation ;
- inférence et vérification de type : Mojo dispose d'un puissant système d'inférence et de vérification des types qui permet de détecter les erreurs à la compilation, réduisant ainsi la probabilité d'erreurs à l'exécution ;
- compilation statique : Mojo est compilé de manière statique, ce qui signifie que le code est compilé avant d'être exécuté, ce qui se traduit par des temps d'exécution plus rapides et une meilleure optimisation.
Quels sont les défis et la concurrence auxquels le langage Mojo pourrait faire face ?
Mojo est le nouveau venu dans le domaine de l'IA. Il promet quelque chose qui, s'il s'avère exact, pourrait révolutionner l'IA d'une manière qui pourrait rendre toutes les applications d'IA des centaines de fois plus rapides. Le langage de programmation vise à concurrencer des langages plus établis dans le domaine comme Python, Julia, et Rust. Selon l'enquête Stack Overflow Developer Survey 2022, Rust est le langage le plus apprécié, et ce depuis sept ans sans interruption. Le problème de Rust est sa syntaxe complexe, qui rend son apprentissage difficile. Malgré cela, Rust est utilisé par Meta, Dropbox, et Google prévoit de l'implémenter également.
[tweet]<blockquote class="twitter-tweet"><p lang="en" dir="ltr">What if its the best of all of them? 😏 Tune in May 2nd at 9am to find out on <a href="https://t.co/bhbmGy7hYb">https://t.co/bhbmGy7hYb</a> 🔥 <a href="https://t.co/vXetLqqKQs">https://t.co/vXetLqqKQs</a> <a href="https://t.co/S15DOjA1aH">pic.twitter.com/S15DOjA1aH</a></p>— Modular (@Modular_AI) <a href="https://twitter.com/Modular_AI/status/1649870472417538049?ref_src=twsrc%5Etfw">April 22, 2023</a></blockquote> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>[/tweet]
L'enquête rapporte en outre que Julia s'est classé dans le top 5 des langages les plus appréciés, battant Python. Il en était de même l'année précédente. Répondant à des questions sur Hacker News à propos de la comparaison entre Julia et Rust, et des plans pour concurrencer Python, Chris Lattner, l'un des co-créateurs de Mojo, a fait l'éloge de Julia comme étant un "langage merveilleux et une communauté merveilleuse". Abordant les différences entre Julia et Mojo, il insiste sur le fait que Mojo a un tas d'avancées techniques par rapport à des langages comme Swift, Rust, C++, et même Julia, parce qu'il a appris d'eux et s'est construit à partir d'eux.
Python (ou même Julia) n'est pas un langage privilégié pour la programmation de systèmes, mais surtout pour la construction de modèles d'IA. Bien qu'il surmonte cette limitation grâce à une liaison de bas niveau avec C et C++ pour la construction de bibliothèques, la construction de ces bibliothèques hybrides est une tâche compliquée qui nécessite la connaissance de C et C++. Mais construire ces bibliothèques hybrides est une tâche compliquée qui nécessite des connaissances en C et C++. C'est là que Mojo entre en jeu et le transforme en un langage de type Python intégrable et rétrocompatible, le "Pythonic-C".
Dans les commentaires, certains affirment qu'il pourrait s'agir d'un remplaçant de Python, mais d'autres restent sceptiques quant à l'amélioration des performances promise par les créateurs de Mojo. Cependant, l'arène des langages de programmation reste imprévisible. Il pourrait s'agir d'un nouveau moment Julia dans le monde de la programmation, avec la syntaxe Python. Quoi qu'il en soit, OpenAI s'est lancé dans une mission quelque peu similaire avec Triton, son propre langage de programmation. Enfin, il faut noter qu'il y a un débat pour déterminer le langage qui pourrait servir à créer l'intelligence générale artificielle (IGA).
Certains plébiscitent Julia et d'autres Rust. Il est intéressant de noter qu'Elon Musk a tweeté sur le fait que l'IGA ne sera pas construit sur Python, mais sur Rust. Cela fait suite à sa déclaration selon laquelle il est un fan de Rust. Sur le fil de discussion, certains utilisateurs ont répondu qu'ils étaient du côté de Chris Lattner et qu'ils espéraient qu'il s'agirait de Swift, l'une des premières propositions de Lattner. Modular AI a déclaré : « et si c'était le meilleur de tous ? ». Lattner est également l'une des personnes à l'origine du projet LLVM, un ensemble de technologies modulaires et réutilisables de compilateurs et de chaînes d'outils.
Sources : Modular AI (1,2), Mojo
Et vous ?
Quel est votre avis sur le sujet ?
Que pensez-vous du langage de programmation Mojo ?
Quels commentaires faites-vous sur les promesses de Mojo pour l'IA ?
Mojo est-il une alternative viable à Python, Julia et Rust pour le développement de l'IA ?
Mojo pourrait-il surpasser ses concurrents et devenir la norme pour le développement de l'IA ?
Voir aussi
Le langage de programmation Julia ne cesse de gagner en adoption au sein de la communauté scientifique : hausse de 87 % des téléchargements sur 2020, en raison de son rapport simplicité-performance
Julia est le lauréat du prix de la DARPA pour créer un framework devant permettre de multiplier par 1000 la vitesse de la simulation électronique
Java, Python, Kotlin et Rust connaissent une croissance rapide, mais JavaScript reste le langage de programmation le plus populaire, selon une enquête de SlashData
JavaScript et Python règnent, mais Rust monte en puissance, le nombre d'utilisateurs de Rust dans le monde serait passé à 2,2 millions, selon une enquête de SlashData