la plupart des types qui s'amusent à faire un langage n'y connaissent pas grand chose [...] Dart en est un exemple vivant !
Ce que tu dis est à la fois incorrect et irrespectueux. Il suffit de lire la documentation sur Dart pour se rendre compte qu'une partie au moins de ses concepteurs connaît la théorie des langages de programmation, en particulier la théorie des types. Par exemple, ils mentionnent que Dart supporte la F-bounded quantification, qui est une fonctionnalité des systèmes de types objets avec abstraction de type et sous-typage.
Le fait d'avoir choisi, ensuite, de ne pas suivre les conseils de cette approche théorie et de mettre en place un système non statiquement sûr intentionnellement est une autre question. Je pense qu'ils ont tort, mais ça ne justifie pas de les prendre de haut.
[^] # Re: Encore le type Null...
Posté par gasche . En réponse à la dépêche Dart va‐t‐il remplacer JavaScript comme langage dans les navigateurs ?. Évalué à 8.
Ce que tu dis est à la fois incorrect et irrespectueux. Il suffit de lire la documentation sur Dart pour se rendre compte qu'une partie au moins de ses concepteurs connaît la théorie des langages de programmation, en particulier la théorie des types. Par exemple, ils mentionnent que Dart supporte la F-bounded quantification, qui est une fonctionnalité des systèmes de types objets avec abstraction de type et sous-typage.
Le fait d'avoir choisi, ensuite, de ne pas suivre les conseils de cette approche théorie et de mettre en place un système non statiquement sûr intentionnellement est une autre question. Je pense qu'ils ont tort, mais ça ne justifie pas de les prendre de haut.