# la garantie que les pages générées sont en xhtml valide ;
Une garantie de quel genre ? Du genre qui corrige les erreurs toute seule ou du genre qui ne laisse pas passer le code non valide ?
Ben le typage valide XHTML/XML est garanti parce qu'il utilise le système de types d'OCaml qui est prouvé mathématiquement. Qui dit typage XML valide dit document XML bien formé (dans ce cas, c'est XHTML). Qu'est-ce que tu crois que ça veut dire "garantir"?
Une page générée par une application utilisant Eliom ne peut pas être non conforme au schéma de XHTML, et c'est une propriété prouvée et statique quand tu compiles ton application. C'est quelque chose de plus dont le développeur n'a pas à se soucier... tout comme en OCaml le programmeur n'a pas à se soucier de segfaults, alors qu'en C, il peut les éviter mais ce n'est pas une propriété du langage (ou d'un subset utilisable dans 99% des programmes).
[^] # Re: Interessant mais...
Posté par smc . En réponse à la dépêche Ocsigen 1.0.0 : une nouvelle approche de la programmation Web. Évalué à 1.
Une garantie de quel genre ? Du genre qui corrige les erreurs toute seule ou du genre qui ne laisse pas passer le code non valide ?
Ben le typage valide XHTML/XML est garanti parce qu'il utilise le système de types d'OCaml qui est prouvé mathématiquement. Qui dit typage XML valide dit document XML bien formé (dans ce cas, c'est XHTML). Qu'est-ce que tu crois que ça veut dire "garantir"?
Une page générée par une application utilisant Eliom ne peut pas être non conforme au schéma de XHTML, et c'est une propriété prouvée et statique quand tu compiles ton application. C'est quelque chose de plus dont le développeur n'a pas à se soucier... tout comme en OCaml le programmeur n'a pas à se soucier de segfaults, alors qu'en C, il peut les éviter mais ce n'est pas une propriété du langage (ou d'un subset utilisable dans 99% des programmes).