Discussion :

[Hinault Romaric]

M# : Microsoft dévoile son nouveau langage open source dérivé de C#
avec pour objectif d’offrir un meilleur équilibre entre performance, sécurité et productivité

Microsoft a parlé officiellement pour la première fois de son nouveau langage de programmation, qui porterait le nom de code M# (M Sharp), selon des rumeurs et qui est une extension du langage C#.

Joe Duffy, l’un des ingénieurs ayant travaillé sur le projet depuis pratiquement quatre ans, dévoile dans un article de blog les caractéristiques techniques de M# et les raisons qui ont poussé Microsoft à vouloir créer un nouveau langage de programmation.

« Pourquoi un nouveau langage de programmation ? » « J’admets volontiers que le monde a déjà une pléthore de langages », rétorque Duffy, qui note que chaque langage a ses faiblesses. Pour étayer ses propos, il présente un graphique où certains langages (à l’instar de C#, JavaScript et Java) offrent une meilleure sécurité et productivité, alors que d’autres, comme C++, offrent de meilleures performances.

Le but de M# est de jumeler les deux mondes en offrant à la fois sécurité, productivité et performance. Duffy décrit le langage comme un ensemble d’extensions de programmation système à C#, qui offre un meilleur équilibre entre « la performance » et « la sécurité et la productivité » que d’autres langages populaires.

M# devra être « le langage de plus bas niveau se trouvant tout en bas de la pile. Mais, il sera également sûr et assez productif pour l’écriture des solutions de niveau supérieur, comme les services Web ».

M# s’appuie essentiellement sur le langage C# parce que Microsoft voudrait profiter de sa syntaxe moins complexe, ainsi que de ses fonctionnalités modernes comme les expressions « lambdas » et les « délégués ». De plus, la société souhaiterait s’appuyer sur l’expertise de ses développeurs spécialisés en C#.

À terme, M# sera publié en open source, probablement avant la fin de cette année.


Source : billet de blog de Joe Duffy


Et vous ?

Que pensez-vous de ce nouveau langage de programmation ?

[MarieKisSlaJoue]

Que pensez-vous de ce nouveau langage de programmation ?

La comme ça je vois pas bien quoi en pensez, je pense qu'il n'arrivera pas au final à tenir ses objectifs. A voir quel place le langage prendra, mais je pense que l'open source à déjà ses favoris et je vois mal certain développeur qui adule l'open source se tourner vers un langage de Microsoft qui pour eux représente le mal absolue.

Je suis déçu aussi du manque d'imagination de Microsoft. C#, F# et M#. Y'a une explication logique à ces noms ?

[Francis Walter]

Bah cest une superbe idée de vouloir combiner la Sécurité et Productivité et la performance mais atteindront-ils leur objectif? Cest la grande question.
Jusqu'à là, les développeurs ont su faire avec les langages existants!
Javoue que c'est très ambitieux mais je pense qu'avec tous les problèmes que Microsoft a à régler en ce moment, suis pratiquement sûr qu'à la longue le projet finira par être négliglé comme beaucoup d'autres projets Microsoft qui n'ont pas le suivi nécessaire

[DonQuiche]

Bah cest une superbe idée de vouloir combiner la Sécurité et Productivité et la performance mais atteindront-ils leur objectif? Cest la grande question.

Surtout il s'agit probablement de créer un langage de haut niveau MAIS utilisable en kernel mode, là où le C++ lui-même pose problème, et capable de communiquer avec le matériel MAIS avec des pointeurs vérifiables (et une concurrence elle aussi vérifiable - c'est la spécialisation de Duffy, cf. le dernier papier qu'il a publié).

Pour ce qui est des performances il s'agit apparemment surtout d'éviter les longues pauses du GC, donc de favoriser la réactivité plutôt que de réduire le nombre de cycles CPU. Ce qui répond aussi à des problématiques spécifiques aux mobiles : regrouper temporellement l'activité CPU afin de maximiser le temps passé en veille et s'assurer qu'une appli puisse être mise en sommeil à tout instant, ce qui est gênant si celle-ci n'a pas encore ramassé ses miettes.

D'autant qu'en termes de perfs brutes, franchement, pas besoin d'un nouveau langage : un vrai compilateur pour C# ferait déjà des miracles. Au pire faudrait-il ajouter un moyen pour forcer un nettoyage déterministe dans les quelques cas où le compilo ne pourrait pas en détecter l'intérêt par lui-même. Justement, ça tombe bien, Duffy ne parle pas d'un nouveau langage mais de technos, et insiste beaucoup sur les optimisations du compilateur visant à éviter des allocations sur le tas. Et comme il y a quelques mois ils ont présenté le "projet N", un vrai compilateur pour C# avec de grosses optimisations à la clé.... Ce ne sont même plus des pointillés.

Jusqu'à là, les développeurs ont su faire avec les langages existants!

Oh oui, il suffit de regarder les bulletins de sécurité mensuels de tous les OS. Effectivement les mafieux et agences de renseignement sont très satisfaits de la conception actuelle des OS et ne voient aucune raison pour que MS et les autres changent leur approche en adoptant des langages vérifiables.

En ce qui me concerne, j'ai l'exemple d'un programme écrit en C# dont le temps de traitement, dans le cas de l'intégration d'un fichier texte de 14 millions de lignes dans une base sql server, est passé de plus de 45 minutes à moins de 4 minutes, après refactoring. Maintenant, je me pose moins la question d'une réécriture du programme en C++.

14 millions de lignes, en termes de coût CPU, ce n'est rien. Donc soit vous avez des algos en O(n²) et passer au C++ ne changera pas grand chose, soit vous codez comme des pieds et en passant au C++ ça plantera, soit le goulet d’étranglement est côté DB et passer au C++ ne changera rien. Je mise comme tout le monde sur la dernière hypothèse.

Mais pour le moment Microsoft se cherche un peu.

Je me demande s'ils avancent autant à l'aveuglette que ça. Un OS comme Midori fleure à mort l'info dans les nuages et le SAAS. Et puis ils sont en train de bien se rattraper sur le mobile et peut-être de conquérir la télé et avec elle, demain, la VOD.

Je n'exclus pas qu'ils tâtonnent mais je ne m'avancerais pas.

[ryann]

soit le goulet d’étranglement est côté DB et passer au C++ ne changera rien. Je mise comme tout le monde sur la dernière hypothèse.

Raté... Le mode Bulk Insert de SQL Server est performant et parfaitement programmable via ADO.NET - une transaction externe peut même être passée en paramètre.

Bien évidemment que le même programme écrit en C++ serait plus rapide. La question est de savoir si C# et son modèle de gestion de la mémoire permet d'atteindre un niveau de performances satisfaisant et acceptable pour les utilisateurs. Et tout cela, parce que à mon humble avis, le C# offre des avantages en termes de facilité, de fiabilité et de richesse technique.

[guillaume07]

C++ > c# infiné...

[Guulh]

Le titre est trompeur. Ce n'est pas Microsoft qui annonce un nouveau langage qui aura sa place aux côtés de C#, VB.Net F# et autres: il est question ici d'une équipe de MS (microsoft research) qui bosse sur un projet de recherche, comme le fut Cw en son temps. Ca sert à valider certains concepts avant de les déployer à grande échelle dans les langages existants.

As is hopefully clear from my bio, the language I describe below is a research effort, nothing more, nothing less. Think of me as an MSR guy publishing a paper

[Arnard]

La partie CLI du langage est normalisée. Microsoft a publié certaines sources du CLR dans un but pédagogique (on peut lire, interdit de recopier). Donc parler de propriétaire est un peu réducteur

La vraie question n'est pas pourquoi avoir développé c# propriétaire, mais pouruqoi ne pas avoir fournit des implémentations pour macOS et linux. MS prêche pour sa paroisse. A coté, il y a un gros travail collaboratif avec Xamarin (fourniture de specs, de jeux de tests) afin d'avoir le meilleur support de .net sur pingouin !

Avant de parler de M# comme ça, il faudrait déjà savoir ce qu'il permettra vraiment de faire : des exemples, des jeux de tests pour comparaison...

[Invité]

La partie CLI du langage est normalisée. Microsoft a publié certaines sources du CLR dans un but pédagogique (on peut lire, interdit de recopier). Donc parler de propriétaire est un peu réducteur

C'était comparé à la méthode de sun, les JSR.

La vraie question n'est pas pourquoi avoir développé c# propriétaire, mais pourquoi ne pas avoir fournit des implémentations pour macOS et linux. MS prêche pour sa paroisse. A coté, il y a un gros travail collaboratif avec Xamarin (fourniture de specs, de jeux de tests) afin d'avoir le meilleur support de .net sur pingouin !

C# avait été présenté comme le fer de lance du nouveau microsoft version Balmer... on voit les résultats aujourd'hui.
En effet microsoft aurait gagné à faire du multi OS, ne serait-ce que pour occuper le terrain.
Qt ou mono sont multi OS, par exemple peut-être que le M# les concurrencera

[alex_vino]

Qt ou mono sont multi OS, par exemple peut-être que le M# les concurrencera

Difficile de comparer Qt et C#, mais Mono comme tu dit permet de développer en .Net pour d'autres plateformes, donc à mon avis le multi-plateforme n'est pas une nécessité chez Microsoft car les outils existent déjà. Pour en avoir déjà fait Mono fonctionne déjà très bien

[Gugelhupf]

D'après le lien officiel :

It enables you to build robust .NET business applications and complex websites 4X faster than before.
M# is compiled to standard ASP.NET and C# code.

D'après une démo de M#, on peut voir que M# est un langage très très haut niveau (qui génère du C#) pour créer des applications Web "très rapidement".

Ce que je ne comprends pas dans le graph, c'est comment M# peut offrir de "meilleure" performance que C# et autres...

[alex_vino]

D'après le lien officiel :


D'après une démo de M#, on peut voir que M# est un langage très très haut niveau (qui génère du C#) pour créer des applications Web "très rapidement".

C'est ce que je disais, Romaric Hinault cite M# alors que c'est tout autre chose, ou comment lancer des rumeurs.

Ce que je ne comprends pas dans le graph, c'est comment M# peut offrir de "meilleure" performance que C# et autres...

Pour info M# génère aussi de l'ASP.Net et SQL, concernant les performances cela correspond plutot aux performances de développement du développeur sachant que M# s'appuie sur son Framework (écrit en C# + JavaScript). On peux aussi dire que si le développeur développe 4x plus vite celà peux lui laisser 4x plus de temps pour améliorer les performances de son application.

[Arnard]

C'était comparé à la méthode de sun, les JSR.

Ok, je comprends ta comparaison maintenant.

Qt ou mono sont multi OS, par exemple peut-être que le M# les concurrencera

Le zoli troll :p Plus sérieusement, oui, pour du cross, Mono est obligatoire.
Mais, Mono permet de faire du cross ios/android/windows (monodroid, monotouch) en permettant une grande réutilisabilité du code. Microsoft a su fournir un langage puissant et une api riche qui ont permis cette dynamique (De Icaza a fait un taff titanesque ensuite avec son équipe). Olivier Dahan, sur son blog e-naxos, a écrit plusieurs billets sur le cross plateforme se basant sur C# - MvvMcross - Mono, très intéressants à parcourir.

Sinon, on en revient à faire du C/C++ en essayant de le faire portable. Moins séduisant je trouve, mais tout dépend des besoins de chacun.

Mais on s'éloigne du nouveau langage de MS, attendons les prochains billets

[Markand]

Encore un nouveau langage...

Visual Basic,
C#
F#
M#

C'est quoi le prochain ?

[codec_abc]

Il n'y a que moi que ca choque que la productivité et la sécurité soient placé sur le même axe ? Parce que pour moi ces notions sont au mieux complétement indépendantes voire antagoniste. Et je ne suis pas sur que Java, Javascript et C# soient "plus sécurisé" que C++. D'ailleurs fraudait qu'ils expliquent ce qu'ils entendent par langage sécurisé parce que pour moi la sécurité d'une application vient plutôt de son architecture et de comment elle a été codé plutôt que du langage qu'elle emploie.

[Logan Mauzaize]

Il n'y a que moi que ca choque que la productivité et la sécurité soient placé sur le même axe ? Parce que pour moi ces notions sont au mieux complétement indépendantes voire antagoniste. Et je ne suis pas sur que Java, Javascript et C# soient "plus sécurisé" que C++. D'ailleurs fraudait qu'ils expliquent ce qu'ils entendent par langage sécurisé parce que pour moi la sécurité d'une application vient plutôt de son architecture et de comment elle a été codé plutôt que du langage qu'elle emploie.

Productivité et sécurité peuvent être mis sur la même ligne si on propose une API simple et bien écrite. Par exemple avec "scanf" (ou l'autre) où il faut bien faire attention au traitement.

De manière générale toutes les fonctions d'abstractions permettent de gagner et en productivité en prenant en charge les aspects complexes et techniques.

Les langages comme le Java sont un peu plus sécurisés que le C++ garde car le typage (hors génériques) est garantie à l'exécution ce qui n'est pas le cas du C++ qui vérifie uniquement le typage à la compilation (parfois sur la bonne fois des déclarations du développeur) et se base à l’exécution uniquement sur la taille déclarée des structures (ou des objets) pour aligner les données.

Cela permet également de faire quelques "hacks" comme il me semble l'implémentation des piles dans le code source de Linux qui "injecte" dans la structure cible un pointeur vers l'élément suivant.

Ce sont d'ailleurs ses mécanismes (comme la vérification des types) qui coûtent en performance mais garantie une sécurité (certe relative).

[tonnebrre]

Remarquable comme solution.
en fusionne la syntaxe de c# avec plus de publicité.

[CoderInTheDark]

J'ai surtout l'impression qu'on nous promet encore un nouveau langage C, sans pointeur, plus simple plus sûr.
Mais pour l'instant le C fait encore de la résistance.

[Chuck_Norris]

Et il ne leur était pas possible de simplement publier une nouvelle version de C# ? A moins qu'ils se rendent compte que l'idée même de .NET n'était finalement pas si bonne que ça. Au moins, Java, c'est véritablement multiplateforme et ça justifie amplement la machine virtuelle et la perte de performances correspondante.

[Invité]

Et il ne leur était pas possible de simplement publier une nouvelle version de C# ? A moins qu'ils se rendent compte que l'idée même de .NET n'était finalement pas si bonne que ça. Au moins, Java, c'est véritablement multiplateforme et ça justifie amplement la machine virtuelle et la perte de performances correspondante.

je vois mal certain développeur qui adule l'open source se tourner vers un langage de Microsoft qui pour eux représente le mal absolue.

Bof, mono est pas mal du tout, le problème est là pourquoi avoir développé C# en mode propriétaire ?