Ce genre de "dérive" à long terme, se gère en automatisme par un intégrateur. Je ne sais pas si cela se fait dans le secteur bancaire, mais avec la sauvegarde de l'erreur dans un coin, on peut la refacturer la fois suivante.
Je comprends mieux. Le problème n'est pas du tout DECIMAL vs double. C'est uniquement que les transferts se font en centime et rien d'autre, et qu'il faut gérer correctement les arrondis.
quel différence avec un double correctement utilisé ? si on suit ta méthode, un double est constitué de 2 INTEGER, l'un de 54 bits et l'autre de 16. Et leur gestion est directement pris en charge par les fpu. Et si tu prends 10x, cela revient à utiliser le type DECIMAL mais sans pouvoir changer la précision.
Pourquoi s’embêter avec un truc aussi complexe ? Quel erreur tu évites ainsi ?
Sinon certains SGBD (dont PostgreSQL) ont un type pour le monétaire, mais j'ai jamais testé.
MONEY pour postresql, c'est DECIMAL(10,2), autant prendre DECIMAL tout court qui est plus précis.
De mémoire, c'était les retours d'une expérience dans un pays du nord, genre Pays-Bas ou Danemark. Je n'ai plus la source en tête.
Ne pas oublier que ce qui est couteux est uniquement le traitement des eaux sales, c'est pour cela qu'il y a des compteurs agricoles car l'eau va dans le sol. C'est pour ça aussi qu'il est interdit d'utiliser de l'eau de pluie pour les toilettes, car le retraitement n'est pas payé.
"balancer de l'eau potable, traitée, dans les toilettes sont simplement stupide…"
Non en fait, c'est très réfléchi. Certaines personnes utilisaient de l'eau de pluie ou de l'eau "peu sale" comme celle du lavabo ou de la douche. Résultat : beaucoup d'infections bactériennes, les fines projection d'eau lors du tirage de la chasse d'eau suffisait pour contaminer l'usager.
En gros, tu me dis que la graphique audessus est un peu bidon, car il ne s'agit que de moyenne grossière et que localement, ce n'est pas le cas.
Si je comprends bien, l'humidité de l'air est composé de molécules qui se baladent, tout comme le ferait de l'eau sous forme de vapeur, même si la température ne colle pas. Mais alors la 1er phrase de wikipedia est fausse, car il n'y a pas vraiment de différence physique entre de la vapeur d'eau et de l'humidité de l'air.
Première ligne de wikipedia : "La vapeur d'eau est l'état gazeux de l'eau. C'est un gaz inodore et incolore. Le langage familier et quotidien tend à identifier la vapeur d'eau à un brouillard ou à une fumée, ce qui est faux."
"A 100°C l'eau ne peut plus être liquide, mais en dessous, elle peut très bien être gazeuse."
Bien sûr mais à très très basse pression, certainement pas à l'air libre.
Les vents fort font aussi un phénomène d'aspiration qui soulève les toits. Parfois un truc léger, pas chère à changer est plus intéressant qu'un truc lourd, qui fait écrouler la moitié des murs en tombant.
La vapeur d'eau est à 100°C à pression normal, j'en déduis qu'il s'agit simplement d'eau chaude. J'avoue que l'évaporation d'eau m'a toujours "questionné", car l'eau n'est pas un gaz à cette température.
J'ai toujours trouvé les GADT compliqués, il faut beaucoup réfléchir pour voir comment exprimer même des trucs simples. (genre exprimer ~ en GADT, c'est pas possible, pas possible de coller des fonctions dans l'arbre en question).
Concernant le foncteur, je ne vois pas trop. Les données au final sont des arbres typés avec des liens, qui respectent les différents niveau de raffinage ou de description.Pour moi le foncteur, permet de paramétrer avec des types ou changer la définition de fonction (tagless final), même avec du tagless final, je ne vois pas trop comment tu accumules les contraintes.
« les littéraux sont considérés différemment du type ». Veux-tu dire par là que les valeurs, comme 1, et les types, comme int, vivent dans des mondes différents ?
Oui, c'est exactement ça. Et c'est chiant.
Mais une telle situation est présente dans la quasi totalité des langages, à l'exception des langages avec types dépendants (comme Coq).
Oui (je ne connais pas coq), mais cela n’empêche pas d'être très gênant.
Je n'ai jamais dit « pourquoi se faire chier avec un système aussi compliqué »
C'est une figure de style, désolé.
le type des entiers non nuls se définie ainsi en Coq :
Definition non_nul := {n : nat | n <> 0}.
C'est ce que je connaissais des types paramétriques. Le problème est que d’accepter n'importe quoi comme équation booléenne rend la vérification très compliquée. L’intérêt de rester dans des types plus classiques est de simplifier. J'avais lu que la vérification formelle ne marche plus dés qu'il y a des multiplications dans une équation car le nombre des possibles explosent.
Si cela se trouve mon "langage" peut se traduire directement en coq.
Autrement dit on peut mélanger types et littéraux sans problèmes. Est-ce cela que tu veux ?
Oui, même si je voulais juste avoir un langage de description qui m'a l'air bien plus simple que du coq, mais je me trompe peut-être. coq me semble trop complexe pour être utilisé par n'importe qui.
Par contre, un appareil qui se sert de la mise à la masse via la prise de terre pour faire une cage de Farraday contre les perturbations HF risque de mal fonctionner.
J'ai un portable Dell comme ça. je pense que l'alim a sa cage de faraday relié à la terre. Sans terre, on se prend des "chtouilles" sur le plastique conducteur de la carcasse du PC. Le pire étant le tour en plastiques chromé + conducteur, cela fait comme une sensation de brulure sur les poignets. Quand on passe le doigt sur le plastique on dirait qu'il devient anti-dérapant. Sensation qui disparait si le PC est débranché ou branché à une terre. Bref, l'oscillo montre du 100V alternatif qui se baladent… Heureusement, il y a très peu de courant.
[^] # Re: Cumul des arrondis
Posté par Nicolas Boulay (site web personnel) . En réponse au journal SQL Decimal vs Double. Évalué à 3.
Ce genre de "dérive" à long terme, se gère en automatisme par un intégrateur. Je ne sais pas si cela se fait dans le secteur bancaire, mais avec la sauvegarde de l'erreur dans un coin, on peut la refacturer la fois suivante.
"La première sécurité est la liberté"
[^] # Re: "10.222" n'existe pas
Posté par Nicolas Boulay (site web personnel) . En réponse au journal SQL Decimal vs Double. Évalué à 3.
Je comprends mieux. Le problème n'est pas du tout DECIMAL vs double. C'est uniquement que les transferts se font en centime et rien d'autre, et qu'il faut gérer correctement les arrondis.
"La première sécurité est la liberté"
[^] # Re: Monnaie = danger
Posté par Nicolas Boulay (site web personnel) . En réponse au journal SQL Decimal vs Double. Évalué à 5.
quel différence avec un double correctement utilisé ? si on suit ta méthode, un double est constitué de 2 INTEGER, l'un de 54 bits et l'autre de 16. Et leur gestion est directement pris en charge par les fpu. Et si tu prends 10x, cela revient à utiliser le type DECIMAL mais sans pouvoir changer la précision.
Pourquoi s’embêter avec un truc aussi complexe ? Quel erreur tu évites ainsi ?
MONEY pour postresql, c'est DECIMAL(10,2), autant prendre DECIMAL tout court qui est plus précis.
"La première sécurité est la liberté"
[^] # Re: Un retour d'expérience
Posté par Nicolas Boulay (site web personnel) . En réponse au journal SQL Decimal vs Double. Évalué à 2.
Tout cela c'est valide pour un prix de transfert final, mais pour tous calcul intermédiaire, on ne peut se contenter de 2 chiffres après la virgule.
"La première sécurité est la liberté"
[^] # Re: Un retour d'expérience
Posté par Nicolas Boulay (site web personnel) . En réponse au journal SQL Decimal vs Double. Évalué à 2.
c'est un "round to nearest".
"La première sécurité est la liberté"
[^] # Re: corrélation réchauffement climatique
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 3. Dernière modification le 11 septembre 2017 à 14:37.
De mémoire, c'était les retours d'une expérience dans un pays du nord, genre Pays-Bas ou Danemark. Je n'ai plus la source en tête.
Ne pas oublier que ce qui est couteux est uniquement le traitement des eaux sales, c'est pour cela qu'il y a des compteurs agricoles car l'eau va dans le sol. C'est pour ça aussi qu'il est interdit d'utiliser de l'eau de pluie pour les toilettes, car le retraitement n'est pas payé.
"La première sécurité est la liberté"
[^] # Re: "sur quels critères ?"
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Recrutons. D'accord, mais sur quels critères ?. Évalué à 3.
C'est sur que si Zenitram est aussi abrasif dans la vie que sur linuxfr, cela doit être sportif de bosser pour lui :)
"La première sécurité est la liberté"
[^] # Re: corrélation réchauffement climatique
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 4.
Non en fait, c'est très réfléchi. Certaines personnes utilisaient de l'eau de pluie ou de l'eau "peu sale" comme celle du lavabo ou de la douche. Résultat : beaucoup d'infections bactériennes, les fines projection d'eau lors du tirage de la chasse d'eau suffisait pour contaminer l'usager.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 4.
Est-ce que ton dernier phénomène à avoir avec les geyser ou pas du tout ?
"La première sécurité est la liberté"
[^] # Re: préparation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 3.
Il pourrait au moins faire la préfecture, l’hôpital, les centrales électriques et le traitement de l'eau en souterrain.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 0.
Avec du sel ?
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à -10.
Ce n'est pas de la vapeur d'eau au sens classique. La vapeur à la pression ambiante, c'est 100 °C. Elle ne peut pas exister autrement.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à -2. Dernière modification le 07 septembre 2017 à 18:18.
En gros, tu me dis que la graphique audessus est un peu bidon, car il ne s'agit que de moyenne grossière et que localement, ce n'est pas le cas.
Si je comprends bien, l'humidité de l'air est composé de molécules qui se baladent, tout comme le ferait de l'eau sous forme de vapeur, même si la température ne colle pas. Mais alors la 1er phrase de wikipedia est fausse, car il n'y a pas vraiment de différence physique entre de la vapeur d'eau et de l'humidité de l'air.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 3.
A 1 Pa !! C'est une très basse pression.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à -5.
Première ligne de wikipedia : "La vapeur d'eau est l'état gazeux de l'eau. C'est un gaz inodore et incolore. Le langage familier et quotidien tend à identifier la vapeur d'eau à un brouillard ou à une fumée, ce qui est faux."
Bien sûr mais à très très basse pression, certainement pas à l'air libre.
"La première sécurité est la liberté"
[^] # Re: Réchauffement ou Dérèglement ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 0.
En fait, la température n'a jamais changé autant que ce qui est prévus :
https://xkcd.com/1732/
"La première sécurité est la liberté"
[^] # Re: préparation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 7.
Les vents fort font aussi un phénomène d'aspiration qui soulève les toits. Parfois un truc léger, pas chère à changer est plus intéressant qu'un truc lourd, qui fait écrouler la moitié des murs en tombant.
"La première sécurité est la liberté"
[^] # Re: Attention, n'allons pas trop vite…
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 4.
Pour les évènements catastrophiques, ils peuvent souvent remonter longtemps dans les livres d'histoires.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à -4.
La vapeur d'eau est à 100°C à pression normal, j'en déduis qu'il s'agit simplement d'eau chaude. J'avoue que l'évaporation d'eau m'a toujours "questionné", car l'eau n'est pas un gaz à cette température.
"La première sécurité est la liberté"
[^] # Re: Reason
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.
Le plus souvent oui. Je pense juste que mon code est un poil plus léger, et rend l'indépendance plus évident.
"La première sécurité est la liberté"
# Ça a coupé, chérie
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Il dit qu'il s'est fait bronsoniser. Évalué à 10.
"La première sécurité est la liberté"
[^] # Re: Zéro pointé Nico
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 4.
la suite : https://twitter.com/iyad_elbaghdadi/status/856824095215943681
"La première sécurité est la liberté"
[^] # Re: Reason
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.
J'ai toujours trouvé les GADT compliqués, il faut beaucoup réfléchir pour voir comment exprimer même des trucs simples. (genre exprimer ~ en GADT, c'est pas possible, pas possible de coller des fonctions dans l'arbre en question).
Concernant le foncteur, je ne vois pas trop. Les données au final sont des arbres typés avec des liens, qui respectent les différents niveau de raffinage ou de description.Pour moi le foncteur, permet de paramétrer avec des types ou changer la définition de fonction (tagless final), même avec du tagless final, je ne vois pas trop comment tu accumules les contraintes.
"La première sécurité est la liberté"
[^] # Re: Reason
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.
Oui, c'est exactement ça. Et c'est chiant.
Oui (je ne connais pas coq), mais cela n’empêche pas d'être très gênant.
C'est une figure de style, désolé.
C'est ce que je connaissais des types paramétriques. Le problème est que d’accepter n'importe quoi comme équation booléenne rend la vérification très compliquée. L’intérêt de rester dans des types plus classiques est de simplifier. J'avais lu que la vérification formelle ne marche plus dés qu'il y a des multiplications dans une équation car le nombre des possibles explosent.
Si cela se trouve mon "langage" peut se traduire directement en coq.
Oui, même si je voulais juste avoir un langage de description qui m'a l'air bien plus simple que du coq, mais je me trompe peut-être. coq me semble trop complexe pour être utilisé par n'importe qui.
"La première sécurité est la liberté"
[^] # Re: CPL + Wifi
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Linky et filtre cpl. Évalué à 4.
J'ai un portable Dell comme ça. je pense que l'alim a sa cage de faraday relié à la terre. Sans terre, on se prend des "chtouilles" sur le plastique conducteur de la carcasse du PC. Le pire étant le tour en plastiques chromé + conducteur, cela fait comme une sensation de brulure sur les poignets. Quand on passe le doigt sur le plastique on dirait qu'il devient anti-dérapant. Sensation qui disparait si le PC est débranché ou branché à une terre. Bref, l'oscillo montre du 100V alternatif qui se baladent… Heureusement, il y a très peu de courant.
"La première sécurité est la liberté"