Je connaissais un peu les variants polymorphes, et surtout le fait que Ocaml n'est pas capable de trouver tous les problèmes possibles à la compilation.
Mais je n'ai pas compris grand chose aux papiers pour l'instant. Je ne vois pas comment tu évites de filtrer tout le temps.
[^] # Re: ouai
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Données vs Code. Évalué à 3.
Je connaissais un peu les variants polymorphes, et surtout le fait que Ocaml n'est pas capable de trouver tous les problèmes possibles à la compilation.
Mais je n'ai pas compris grand chose aux papiers pour l'instant. Je ne vois pas comment tu évites de filtrer tout le temps.
"La première sécurité est la liberté"