Par exemple aux types dépendants et preuves de programme. On les retrouve dans ATS, un langage dans la même niche que rust mais plus proche de la recherche.
Hello, tu as l'air de t'y connaitre en langage de programmation (beaucoup plus que moi encore une fois)
Mais est-ce que ça ne contribue pas à la sécurité le fait que le type "humain, trop humain" qui programme comprenne nettement mieux les subtilités (ou justement l'absence de trop de subtilités) dans lequel il programme ?
[^] # Re: Et go ?
Posté par jean-michel.bertrou.eu . En réponse à la dépêche Présentation de Rust 0.8. Évalué à -1.
Hello, tu as l'air de t'y connaitre en langage de programmation (beaucoup plus que moi encore une fois)
Mais est-ce que ça ne contribue pas à la sécurité le fait que le type "humain, trop humain" qui programme comprenne nettement mieux les subtilités (ou justement l'absence de trop de subtilités) dans lequel il programme ?
Cf ici où j'espère une répons de ta part :-D http://linuxfr.org/news/presentation-de-rust-0-8#comment-1492629