Envoyé par InOCamlWeTrust
le but de ce thread n'est pas de discuter de l'avenir de CDuce (que je trouve aussi très bien...).
il est toutefois possible d'ouvrir un autre thread pour faire un tel débat
Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
Discussion :
le but de ce thread n'est pas de discuter de l'avenir de CDuce (que je trouve aussi très bien...).
il est toutefois possible d'ouvrir un autre thread pour faire un tel débat
Hola,
J'ai terminé le chapitre « functions » mais je ne livrerai qu'après avoir trouvé un moyen d'exporter proprement les sources *.verb->*.tex au format xml imposé pour ce site. En fait, tex4ht est très puissant. Il devrait permettre une exportation en xml sans avoir besoin de le remanier ensuite en xslt, mais sa documentation laisse à désirer. Pour le maîtriser un peu il faut être capable de lire les sources du programme (en (La(TeX)). Je suis assez ignare en la matière et je me mets donc en pause quelques jours, le temps d'assimiler quelques indigestes documents sur TeX... Je n'abandonne pas ! :]
PS merci pour le xsl Gorgonite... y a pas encore toutes les balises que je cherche mais on se débrouillera comme ça.
Salut à tous,
J'ai pas encore fini mon bordel avec tex4ht mais j'attaque « case expressions and pattern matching »... me le piquez pas
Bonjour,
J'attaque «Type Classes and Overloading» («case expressions and pattern matching» terminé).
Hello,
Petite question : pourquoi ne pas mettre cette traduction à disposition en PDF ? Je pose la question parce que je renonce à essayer une exportation pour votre gabarit xml. Trop difficile d'exporter correctement les liens, les insertions de code, les symboles mathématiques non disponibles en utf8, et j'en passe. Il y a aussi la possibilité d'exporter tout ça très proprement en xhtml, par contre sa transformation en « developpez-com-xml » est également trop pénible (voir impossible sans intervention manuelle).
Je propose donc, soit xhtml, soit PDF. Dans les deux cas on travaille sur les sources, ce qui est plus logique et permet également de diffuser la traduction sans autres contraintes.
J'envoie un exemple de xhtml à Gorgonite pour voir si il pourrait s'intégrer facilement sur votre site.
PS j'ai terminé « Type Classes and Overloading », j'attaque « Types again ».
Moi fini «types again» et «input/output»... attaquer «standard Haskell classes». Vous pas prendre
la partie 4 (case expressions and pattern matching) est intégrée...
pour infos, le format xml généré est assez pratique, mais ce serait mieux si on pouvait "séparer les parties"... car pour réussir à bien délimiter la section 4, j'ai un peu ramé
EDIT Partie 5 (Les classes de types et la surcharge) finie
EDIT2 Partie 6 (Les types, encore) finie
EDIT3 Partie 7 (Les entrées/sorties) finie
au passage, je passe pas mal de temps sur la mise au gabarit au lieu de traduire... si quelqu(es)'un(s) veu(len)t participer à ce travail, certes moins gratifiant, mais tout aussi indispensable, ils sont les bienvenus
Partie 10 (nombres) terminée...
On arrive à la fin...
dès que Tutux aura fini la partie qu'il est en train de faire, et que la correction orthographique sera faite, on pourra dire qu'on a fini
J'ai un peu lu (pas tout), c'est vraiment completIl y a pas mal de texte explicatif, le lecteur n'est pas renversé par du code hostile.
C'est parfois assez difficile, il faut relire deux fois, enfin, c'est un peu normal vu que je ne connais pas Haskell et que j'ai lu un peu en travers
bravo
Je ne répondrai à aucune question technique en privé
au passage, qui pense qu'il faille traduire aussi celui-ci ?
selon vous qu'apporte-il en plus du gentle introduction to haskell ?
il faut savoir que cela prend un certain temps... et qu'on préferera avancer sur des problèmes plus concrets si le besoin de traduction d'un tel ouvrage ne se fait pas sentir...
Non, il n'apporte rien de plus : il est tout simplement plus verbeux que le Gentle Introduction to Haskell 98, donc moins pratique.
Les seules sections qui auraient été intéressantes sont celles qui ne sont pas encore écrites (section 10 Advanced Techniques).
When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.
On pourrait aussi introduire des exemples CDuce !
When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.
Il me semble important de parler de CDuce pour la simple et bonne raison qu'il facilite énormément la manipulation de fichiers XML. Cependant, de par sa conception, CDuce est également adapté à la programmation généraliste, étant donné que l'on peut créer des structures de données complexes, plus riches (dans la pratique du tout fonctionnel) que les types Objective Caml habituels. Certes, ce n'est pas la même discipline de type, mais ça me semble être un très bon outil.
Je donne une référence comme point de départ :
http://www.cduce.org
Erlang et Coq sont beaucoup moins utiles dans la pratique.
When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.
ben suffit que tu me trouves un projet de taille industriel qui utilise CDuce, et on en reparle...
parce qu'à ma connaissance :
Erlang est (ou a été) très utilisé par Ericsson
Coq (ou ses concurrents comme Isabelle) sont également très utilisés dans tous les systèmes de preuves formels de système... même industriels
Non, CDuce n'est pas fait pour les "gros" projets, mais pour toutes ces petites (ou grosses) applications qui ont besoin soit de transformer du XML, soit de faire du traitement sur du XML, ou encore qui ont besoin de petits composants logiciels qui ont affaireà du XML... donc le champ d'application est beaucoup plus vaste et dépasse même le cadre strict de la programmation. Je n'ai jamais dit qu'Erlang ou Coq (qui d'ailleurs n'est pas réellement un langage de programmation à proprement parler) ne faisaient pas l'affaire...
When Colt produced the first practical repeating handgun, it gave rise to the saying God created men, but Colt made them equal.
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.
Répondre avec citation
Partager