• [^] # Re: typage mou

    Posté par . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 3.

    Et je crois que la théorie derrière Haskell pour le typage est beaucoup plus puissante aussi.

    On est capable d'encoder plus d'information avec les types que avec ocaml (genre des contraintes et autre truc délires comme ça...)