Retourner au contenu associé (journal : De la rigueur dans la programmation)
Posté par shuihuzhuan le 06 février 2026 à 11:45. En réponse au journal De la rigueur dans la programmation. Évalué à 4.
Pour du strict, je mettrais encore plus Spark (un sous-ensemble d'Ada qui peut être prouvé, avec différents niveaux de preuve) qu'Ada 😀
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: La suite , la suite ...
Posté par shuihuzhuan . En réponse au journal De la rigueur dans la programmation. Évalué à 4.
Pour du strict, je mettrais encore plus Spark (un sous-ensemble d'Ada qui peut être prouvé, avec différents niveaux de preuve) qu'Ada 😀