Je ne comprend pas cette phrase, que veux-tu dire ?
Si c'est juste pour le fold
En fait il faudrait faire une preuve rigoureuse, mais en regardant les différents liens, on constate que au moins sur des exemples, on arrive à transformer une évaluation contextuelle sur un AST en une évaluation non-contextuelle qui utilise juste un fold (quitte à dire plus de chose quand on évalue). Si on admet ce résultat alors faire un fold est suffisant pour tout construire ...
[^] # Re: C'est bien la peine !
Posté par Aluminium95 . En réponse au journal EDSL et F-algèbres. Évalué à 1.
Je ne comprend pas cette phrase, que veux-tu dire ?
En fait il faudrait faire une preuve rigoureuse, mais en regardant les différents liens, on constate que au moins sur des exemples, on arrive à transformer une évaluation contextuelle sur un AST en une évaluation non-contextuelle qui utilise juste un fold (quitte à dire plus de chose quand on évalue). Si on admet ce résultat alors faire un
foldest suffisant pour tout construire ...