Retourner au contenu associé (dépêche : Présentation de Rust 0.8)
Posté par programLyrique le 12 octobre 2013 à 13:47. En réponse à la dépêche Présentation de Rust 0.8. Évalué à 3.
Et je parlais de types linéaires, mais en fait, ce qui est particulier à ATS, c'est les types dépendants. Là, je crois que Rust n'en possède pas.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Rust et ATS
Posté par programLyrique . En réponse à la dépêche Présentation de Rust 0.8. Évalué à 3.
Et je parlais de types linéaires, mais en fait, ce qui est particulier à ATS, c'est les types dépendants. Là, je crois que Rust n'en possède pas.