Il y a notamment un commentaire qui explique que Rust est complémentaire d'Ada plus que son concurent :
Ada is a pretty good choice in terms of savety but doesn't help you if you have to excessivly use dynamic allocated resources and pointers in general
Autrement dis, Ada est bon pour la sécurité a condition de ne pas utiliser trop d'allocation dynamique et de pointeurs a l'inverse Rust est bon dans ce domaine mais pas pour garantir qu'une variable ne sera jamais "out of range".
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
Rien a voir, le but n'est pas de faire un "garbage collector". Je veux dire par là que le but n'est pas de le faire à l’exécution mais en amont, le garantir à la compilation.
Bien sûr on peut toujours imaginé faire évoluer Rust et/ou Ada mais alors ce n'est plus Rust, ni Ada, c'est un mixte, exactement le but de ce projet a priori. : Ruda ou Adst :D
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
Bien sûr on peut toujours imaginé faire évoluer Rust et/ou Ada mais alors ce n'est plus Rust, ni Ada, c'est un mixte, exactement le but de ce projet a priori. : Ruda ou Adst :D
On verra bien mais de ce que j'ai compris, pour l'instant, c'est surtout des bindings bidirectionnels un peu comme pour les autres langages et surtout d'aider à fournir un compilateur Rust certifié, ce qui est un peu le métier d'AdaCore.
# Très intéressant
Posté par abriotde (site web personnel, Mastodon) . Évalué à 3.
Il y a notamment un commentaire qui explique que Rust est complémentaire d'Ada plus que son concurent :
Autrement dis, Ada est bon pour la sécurité a condition de ne pas utiliser trop d'allocation dynamique et de pointeurs a l'inverse Rust est bon dans ce domaine mais pas pour garantir qu'une variable ne sera jamais "out of range".
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
[^] # Re: Très intéressant
Posté par Pol' uX (site web personnel) . Évalué à 3.
Même si quelqu'un implante des nombres bornés-sinon-exception en Rust ?
Adhérer à l'April, ça vous tente ?
[^] # Re: Très intéressant
Posté par abriotde (site web personnel, Mastodon) . Évalué à 3.
Rien a voir, le but n'est pas de faire un "garbage collector". Je veux dire par là que le but n'est pas de le faire à l’exécution mais en amont, le garantir à la compilation.
Bien sûr on peut toujours imaginé faire évoluer Rust et/ou Ada mais alors ce n'est plus Rust, ni Ada, c'est un mixte, exactement le but de ce projet a priori. : Ruda ou Adst :D
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
[^] # Re: Très intéressant
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 3.
On verra bien mais de ce que j'ai compris, pour l'instant, c'est surtout des bindings bidirectionnels un peu comme pour les autres langages et surtout d'aider à fournir un compilateur Rust certifié, ce qui est un peu le métier d'AdaCore.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.