On 25/10/2021 08:14, nicolas.patrois@gmail.com wrote:
Le 25/10/2021 00:42:11, kaliderus a écrit :J'imaginais ce genre de chose :-/ Et donc si quelqu'un veut faire par exemple du bancaire derrière, ou juste avoir un calcul exact (ce qui est mon cas), que lui conseiller ? J'imagine utiliser une librairie adéquate (je n'ai pas encore chercher), ou existe-t-il une solution au niveau du langage ?Tu utilises un langage où les flottants sont des décimaux (ça doit bien exister) ou tu utilises Python avec le module decimal.
Je n'y connais rien en informatique de gestion, mais j'aurais tendance à conseiller de représenter un montant en € par un nombre entier (sur 64 bits, donc uint64_t en C) de centimes d'€.
Il me semble que 2 puissance 63 centimes d'€ c'est bien plus que la masse monétaire mondiale.
Les calculs sont alors justes, et on pourrait les prouver avec Frama-C (voir https://frama-c.com/ et prévoir d'annoter le code source avec des annotations en ACSL; bien sûr, ça a un coût humain) ou peut-être avec un greffon de GCC comme Bismon (voir https://github.com/bstarynk/bismon/ et le projet DECODER voir https://decoder-project.eu/ ...)
On pourrait aussi générer le code avec des outils tels que RefPerSys (voir http://refpersys.org/ ...)
N'hésitez pas à me contacter par courriel vers <basile@starynkevitch.net> et <basile.starynkevitch@cea.fr> pour avoir des détails et des contacts.
Librement. -- Basile Starynkevitch <basile@starynkevitch.net> (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/