• [^] # Re: typage statique automatique ?

    Posté par (site web personnel) . En réponse au journal Typage statique pour Python. Évalué à 2. Dernière modification le 01 juin 2016 à 18:09.

    Tu as la chance de faire du haskell professionnellement, j'aimerais bien ;)

    De mon expérience amateur, je met des types sur les "top level", mais c'est tout. Il y a deux-trois cas tordus, quand tu commences à abuser de typeclass ou OverloadedLists / OverloadedStrings, mais en pratique cela ne m'a jamais trop embeté.

    Mais il est clair que ma remarque était en comparaison avec par exemple C++ où tu met des types partout.

    (Edit: la raison qui fait que ce problème existe moins en OCaml est surement du justement à l'absence de typeclass, donc l'absence des ambiguïtés qui peuvent en résulter).