Retourner au contenu associé (journal : Un print(1 + "3a"), ça nous inspire comment ?)
Posté par StyMaar le 04 avril 2017 à 09:08. En réponse au journal Un print(1 + "3a"), ça nous inspire comment ?. Évalué à 4.
Sinon, à mi-chemin entre Coq et des langages de programmation généralistes, tu as Idris. En plus il vient juste de sortir en version 1.0, ce qui stabilise pas mal de trucs.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Un peu déçu par Rust
Posté par StyMaar . En réponse au journal Un print(1 + "3a"), ça nous inspire comment ?. Évalué à 4.
Sinon, à mi-chemin entre Coq et des langages de programmation généralistes, tu as Idris. En plus il vient juste de sortir en version 1.0, ce qui stabilise pas mal de trucs.