• [^] # Re: Puisque tout le monde est sûr de détenir la vérité...

    Posté par . En réponse au journal [Humour] vers un monde différent. Évalué à 2.

    il a fallu changer tout python

    Non, juste redéfinir une fonction sur un type de base. Je n'appelle pas cela changer tout le langage. ;-)

    Python 2.7.13 (default, Nov 24 2017, 17:33:09) 
    [GCC 6.3.0 20170516] on linux2
    Type "help", "copyright", "credits" or "license" for more information.
    >>> from __future__ import division
    >>> 2/3
    0.6666666666666666
    >>> 2//3
    0

    Pour la question de l'absence de typage statique, c'est loin d'être le seul défaut de python.

    Pour rester sur la question de la rigueur mathématique, de toute façon, pour moi, dès qu'on sort de la programmation fonctionnelle avec typage statique, on n'est déjà plus très rigoureux (je tolère à la rigueur les effets de bords et le code impure, c'est-à-dire les valeurs mutables, mais au-delà de ça, on est trop loin de la conception mathématique du calcul).

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