J'ai essayé de piger l'intérêt de Cduce, mais j'ai jamais réussi, c'est pas terriblement vulgarisé aussi...
Tu entend quoi par sous-type qu'il y en aurait plein ?
Pour moi du xml c'est tout simplement :
type xml =
| Element of (string * (string * string) list * xml list)
| PCData of string
Tes sous-types sémantique, ça serait prendre en compte le nom des balises et regarder la cohérence grammatical qu'il y a dans l'arbre ?
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: typage mou
Posté par Ontologia (site web personnel) . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 3.
Tu entend quoi par sous-type qu'il y en aurait plein ?
Pour moi du xml c'est tout simplement :
type xml =
| Element of (string * (string * string) list * xml list)
| PCData of string
Tes sous-types sémantique, ça serait prendre en compte le nom des balises et regarder la cohérence grammatical qu'il y a dans l'arbre ?
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker