Je ne leur reproche rien, mais ils ne répondent pas à ce dont je parle : ocsigen (enfin plutôt tyxml) garantie que ma page html est conforme au W3C. Ça peut intéresser les boites qui veulent poster des offres d'emploi sur le forum, mais ne me permet pas de construire un serveur conforme à un wsdl, alors que java permet de faire ça (assez) simplement à travers axis.
De la même manière, j'aimerai bien pouvoir disposer d'une librairie OCaml qui me permet de m'interfacer avec un webservice existant, en me garantissant que les paramètres d'appels sont conformes à la définition du service.
Pour la transformation XSL, on peut imaginer un schéma XSD comme un type, et la transformation comme une fonction qui transforme un XSD d'entrée vers un XSD de sortie. Par exemple quelque chose comme ça :
Je rêverai de disposer d'une librairie qui me lèverai une erreur de typage si ma transformation XSL ne permet pas de valider cette signature, à la compilation bien sûr. Je sais que c'est possible, le langage le permet, mais pour l'instant je ne vois pas d'évolution dans ce sens.
Je suis un grand fan d'OCaml. Quand je passe sur du Java j'ai l'impression de bégayer à force de répéter mes déclaration1 , mais il faut reconnaître que Java dispose d'un plus grand éventail de solutions pour s'interfacer avec le web. Si OCaml veut réellement prendre l'avantage sur les autres langages, ça n'est pas en prouvant que mon arbre rouge-noir est bien équilibré grâce aux GADT, c'est en s'interfaçant avec le monde extérieur tout en conservant le même niveau d'exigence quand au typage des données.
je pense avec horreur a des déclarations comme int[] myIntArray = new int[]{1,2,3}; ↩
[^] # Re: Le web
Posté par chimrod (site web personnel) . En réponse au journal Qui fait des trucs "cools" en France et en Europe?. Évalué à 4. Dernière modification le 11 septembre 2015 à 21:35.
Je ne leur reproche rien, mais ils ne répondent pas à ce dont je parle : ocsigen (enfin plutôt tyxml) garantie que ma page html est conforme au W3C. Ça peut intéresser les boites qui veulent poster des offres d'emploi sur le forum, mais ne me permet pas de construire un serveur conforme à un wsdl, alors que java permet de faire ça (assez) simplement à travers axis.
De la même manière, j'aimerai bien pouvoir disposer d'une librairie OCaml qui me permet de m'interfacer avec un webservice existant, en me garantissant que les paramètres d'appels sont conformes à la définition du service.
Pour la transformation XSL, on peut imaginer un schéma XSD comme un type, et la transformation comme une fonction qui transforme un XSD d'entrée vers un XSD de sortie. Par exemple quelque chose comme ça :
Je rêverai de disposer d'une librairie qui me lèverai une erreur de typage si ma transformation XSL ne permet pas de valider cette signature, à la compilation bien sûr. Je sais que c'est possible, le langage le permet, mais pour l'instant je ne vois pas d'évolution dans ce sens.
Je suis un grand fan d'OCaml. Quand je passe sur du Java j'ai l'impression de bégayer à force de répéter mes déclaration1 , mais il faut reconnaître que Java dispose d'un plus grand éventail de solutions pour s'interfacer avec le web. Si OCaml veut réellement prendre l'avantage sur les autres langages, ça n'est pas en prouvant que mon arbre rouge-noir est bien équilibré grâce aux GADT, c'est en s'interfaçant avec le monde extérieur tout en conservant le même niveau d'exigence quand au typage des données.
je pense avec horreur a des déclarations comme int[] myIntArray = new int[]{1,2,3}; ↩