• [^] # Re: Ca marche aussi... Mais j'ai triché

    Posté par . En réponse au journal [Humour] vers un monde différent. Évalué à 3. Dernière modification le 20 décembre 2017 à 00:05.

    Avec Zarith et la précision arbitraire sur les entiers et les rationnels, on résout le problème du journal :

    #require "zarith"
#install_printer Q.pp_print
#install_printer Z.pp_print
let i = Q.(~$5 / ~$3);;
val i : Q.t = 5/3
Q.(~$3 * i);;
- : Q.t = 5
Q.(of_int 2 - of_string "18/10" - of_string "2/10");;
- : Q.t = 0

    mais aussi celui d'un de tes anciens journaux ;-)

    Z.(shift_right one 64);;
- : Z.t = 0

    Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.