J'ai beaucoup aimé ce livre. Il commence vraiment par expliquer la récursivité des fonctions, et termine par un programme qui se compile lui même... (ça me rappelle un td du cnam, dont l'objet était d'écrire un compilateur ml -> scala en ocaml...). Par contre, pour qqn qui fait déjà du haskell, je pense que le livre ne lui apprendra pas grand chose : le livre ne rentre pas des les concepts de la programmation fonctionnelle (la notion de foncteur, au sens mathématique n'est pas abordée), et se reste trop général, même si les exemples donnés sont amusant.
@Aluminium : dans ton compilateur, tu construis ton AST avec ocamllex/[ocamlyacc|menhir] ? Là encore, il nous faudrait voir le code pour t'aider davantage...
[^] # Re: Méconnaissance
Posté par chimrod (site web personnel) . En réponse au journal Compilateur et Monad Reader. Évalué à 2.
J'ai beaucoup aimé ce livre. Il commence vraiment par expliquer la récursivité des fonctions, et termine par un programme qui se compile lui même... (ça me rappelle un td du cnam, dont l'objet était d'écrire un compilateur ml -> scala en ocaml...). Par contre, pour qqn qui fait déjà du haskell, je pense que le livre ne lui apprendra pas grand chose : le livre ne rentre pas des les concepts de la programmation fonctionnelle (la notion de foncteur, au sens mathématique n'est pas abordée), et se reste trop général, même si les exemples donnés sont amusant.
@Aluminium : dans ton compilateur, tu construis ton AST avec ocamllex/[ocamlyacc|menhir] ? Là encore, il nous faudrait voir le code pour t'aider davantage...