Re: Les langages sécurisés ca existe !

Retourner au contenu associé (journal : Qu'est-ce qu'un langage sécurisé ?)

[^] # Re: Les langages sécurisés ca existe !

Posté par Axioplase ıɥs∀ (site web personnel) le 15 novembre 2007 à 17:08. En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 1.

Ouais, enfin des types indexés, ca se fait à la main avec des "types phantomes"... (du moins dans le cas que tu cites)

J'utilise ça même assez souvent, tant en Haskell qu'en Caml...