Retourner au contenu associé (journal : [Letlang] Et si on rédigeait la spec ?)
Posté par Nicolas Boulay (site web personnel) le 09 mai 2022 à 11:25. En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 5.
Si tu veux éviter les problèmes de la théorie des ensembles, il y a une théorie dont j'ai oublié le nom (théorie des types ?) qui a donné les "modules" d'Ocaml. Il me semble que c'est la base de coq par exemple.
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: théorie des ensembles pas naives
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 5.
Si tu veux éviter les problèmes de la théorie des ensembles, il y a une théorie dont j'ai oublié le nom (théorie des types ?) qui a donné les "modules" d'Ocaml. Il me semble que c'est la base de coq par exemple.
"La première sécurité est la liberté"