Retourner au contenu associé (journal : [Letlang] Et si on rédigeait la spec ?)
Posté par David Delassus (site web personnel) le 09 mai 2022 à 16:02. En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.
Oui, c'est bien, mais en Letlang int et number c'est f64 en Rust.
int
number
f64
Et f64 c'est pas N, c'est pas Q, c'est pas R, c'est https://fr.wikipedia.org/wiki/IEEE_754.
int est défini comme ceci:
class int(n: number) { frac(n) = 0; }
On a donc bien le même objet qui appartient à deux ensembles.
Si on peut arrêter la branlette intellectuelle et la guerre d'égo pour se recentrer sur le sujet, ça serait bien. Merci.
https://link-society.com - https://flowg.cloud - https://krouter.cloud
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: théorie des ensembles pas naives
Posté par David Delassus (site web personnel) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.
Oui, c'est bien, mais en Letlang
intetnumberc'estf64en Rust.Et f64 c'est pas N, c'est pas Q, c'est pas R, c'est https://fr.wikipedia.org/wiki/IEEE_754.
int est défini comme ceci:
On a donc bien le même objet qui appartient à deux ensembles.
Si on peut arrêter la branlette intellectuelle et la guerre d'égo pour se recentrer sur le sujet, ça serait bien. Merci.
https://link-society.com - https://flowg.cloud - https://krouter.cloud