Bonsoir,
pardonnez cette interruption dans les débats, j'ai essayé de suivre tout ce qui s'est dit, mais je ne suis pas sûr d'avoir tout compris.
En espérant que mon avis d'étudiant en L3 puisse valoir quelque chose, je vais vous le livrer^^
1-Au sujet de l'indentation, je suis navré, mais moi, je trouve ça "normal" de nos jours que l'indentation soit une convention, et donc imaginer un code non indenté générer une erreur de compilation, et bien je dis oui à 200%
Il y a déjà des outils qui font ça, je me rappelle l'an dernier en java d'avoir vu quelques appli permettant de vérifier ce genre de convention du style
if(...)
{
était considéré comme une erreur car la forme if(...){ était attendu.
Trop souvent, on nous donne des projets à retaper avec des codes mal indentés, et franchement c'est infect.
Comment comparer, c'est comme si en ouvrant un bouquin, vous aviez tous les mots d'un index lexical sur la même ligne. Bah non, la convention c'est un mot suivi de toutes les pages où il apparaîtra, sinon la visibilité est nulle.
Donc ça c'est un bon point pour un langage, je pense que tous les langages devraient l'adopter de nos jours...
2- C'est là que je ne suis pas certains d'avoir compris; ce langage apporte quoi concrètement ? Le C est un langage bas niveau non ? Je veux dire c'est la base du système d'exploitation en général; donc pourquoi vouloir rajouter un langage par dessus, qui va en plus générer une sorte de pseudo code C derrière ?
Cela pourrait se justifier si ce nouveau langage permettait de faire des choses que le C ne permet pas de faire, mais si c'est le cas je ne suis pas certain de l'avoir compris dans vos précédents message.
Un autre point me tracasse, j'ai cru comprendre que chacun pourra définir sa propre version du langage en quelque sorte. C'est un peu comme si on revenait genre 30 ans en arrière à l'époque ou les conventions n'existaient pas non ? Imaginez si on avait ce genre de langage pour faire communiquer des réseaux entre eux ? Sa ne serrait pas un peu fumeux ?
A propos de l'inférence de type, rien à redire, c'est une des forces des langages fonctionnel et le voir appliquer sur une architecture semblable au C, ça pourrait être bien sympathique. Sauf que pour ça il faudra des règles, des opérateurs précis pour un type précis ou générique, sauf que, si comme je le pense chacun se fait sa propre version, alors ça sera vite infect, et ce qui pouvait être une force se transformera en foutoir sans nom.
De mon humble point de vue d'étudiant, ce n'est clairement pas un langage qui me donne envie, tout du moins de ce que je crois en avoir compris.
Partager