Oui alors je me restreignais aux langages avec un minimum de diffusion :)
Quitte à en citer un, je citerai Cyclone qui est apparemment celui qui a servi de modèle à Rust pour la partie "borrowing system" (sachant qu'on appelle ça aussi de la "region analysis" ou des affine type). Et sachant aussi qu'ils ont enrichi ce qu'il se faisait.
Après le langage avec des types dépendants, c'est très bien mais ce n'est pas décidable. Donc c'est un "type" dans l'acceptation des système de démonstration formel comme Coq. En programmation on considère plutôt qu'un type doit être pris en charge complètement par le typecheck du compilateur. Donc j'aurai tendance à dire que ce ne sont pas de langage de programmation mais de preuve. Après moi je suis pour qu'on fasse des preuves de programmes :) mais si on pouvait déjà juste dégager les buffer overflow et autres failles de nos programmes en utilisant des langages comme Rust, ça serait déjà pas mal !
[^] # Re: «Il concurrence donc directement les langages C et C++.»
Posté par Joris R (site web personnel, Mastodon) . En réponse à la dépêche Rust 1.0, entrée dans la période stable. Évalué à 5.
Oui alors je me restreignais aux langages avec un minimum de diffusion :)
Quitte à en citer un, je citerai Cyclone qui est apparemment celui qui a servi de modèle à Rust pour la partie "borrowing system" (sachant qu'on appelle ça aussi de la "region analysis" ou des affine type). Et sachant aussi qu'ils ont enrichi ce qu'il se faisait.
Après le langage avec des types dépendants, c'est très bien mais ce n'est pas décidable. Donc c'est un "type" dans l'acceptation des système de démonstration formel comme Coq. En programmation on considère plutôt qu'un type doit être pris en charge complètement par le typecheck du compilateur. Donc j'aurai tendance à dire que ce ne sont pas de langage de programmation mais de preuve. Après moi je suis pour qu'on fasse des preuves de programmes :) mais si on pouvait déjà juste dégager les buffer overflow et autres failles de nos programmes en utilisant des langages comme Rust, ça serait déjà pas mal !