letrec kezaco

**Echyzen** · 29/03/2015, 13h19

Bonjour voilà mon professeur nous demande de terminer le tp mais la sans exemple je ne comprends même pas ce qu'il demande si quelqu'un peut m'expliquer/clarifier?

Voilà la question :

On veut définir la forme
(let <label> (<bindings>) <body>) à l'aide d'unemacro. Cette forme, définie dans R5RS est appelée let nommée ; elle s'implémente avec un letrec et permet de définir simplement une boucle.

1.Quelle devrait être l'expansion de la forme suivante:
(let Loop ((i 0))
(when (< i 10)
(display i)
(Loop (+ i 1))))

**jack-ft** · 30/03/2015, 10h46

Envoyé par Echyzen

mon professeur nous demande de terminer le tp mais la sans exemple je ne comprends même pas ce qu'il demande si quelqu'un peut m'expliquer/clarifier?

Hmmm... Intéressant jeu de miroirs...
Car, moi aussi, j'ai un peu de mal à comprendre précisément ce que tu demandes!

Si je m'en réfère au titre de la discussion, la question pourrait être 'qu'est-ce que "letrec"?'...

Mais il me paraît tellement invraisemblable que tu n'aies pas au moins cherché sur internet que j'ai du mal à croire que ce soit vraiment la question?!?!

https://www.google.fr/#q=scheme+R5RS+letrec
http://www.schemers.org/Documents/St...html#%_idx_132
https://groups.csail.mit.edu/mac/ftp...d/r5rs_33.html

Peux-tu préciser ta demande?

**stendhal666** · 30/03/2015, 12h31

La question me paraît compréhensible, pour ma part:

- Loop est une macro (implémentée à l'aide de letrec, c'est un indice, pas l'essentiel)
- or les macros sont développées (expand en anglais -> d'où le terme expansion) pendant la compilation, avant l'exécution
- donc si j'ai dans mon programme une invocation de la macro Loop sous la forme de:

(let Loop ((i 0))
(when (< i 10)
(display i)
(Loop (+ i 1))))

Comment sera-t-elle développée pendant la compilation? <- c'est le sens de la question.

Pour y répondre, tu dois donc réfléchir à un code équivalent (implémenté avec letrec, encore une fois c'est un indice) qui ne fasse pas appel à une macro.

**stendhal666** · 30/03/2015, 12h36

La question me paraît compréhensible, pour ma part:

- Loop est une macro (implémentée à l'aide de letrec, c'est un indice, pas l'essentiel)
- or les macros sont développées (expand en anglais -> d'où le terme expansion) pendant la compilation, avant l'exécution
- donc si j'ai dans mon programme une invocation de la macro Loop sous la forme de:

(let Loop ((i 0))
(when (< i 10)
(display i)
(Loop (+ i 1))))

Comment sera-t-elle développée pendant la compilation? <- c'est le sens de la question.

Pour y répondre, tu dois donc réfléchir à un code équivalent (implémenté avec letrec, encore une fois c'est un indice) qui ne fasse pas appel à une macro.

**jack-ft** · 30/03/2015, 15h49

Envoyé par stendhal666

La question me paraît compréhensible, pour ma part:
[snip]
Comment sera-t-elle développée pendant la compilation? <- c'est le sens de la question.

Oui. Bien sûr. C'est bien ainsi que j'avais compris la question du prof!
Ce que je ne comprends pas bien, c'est ce que Echyzen ne comprend pas de la question du prof, et, plus précisément, ce qu'il (Echyzen) demande au forum...
Bon. On verra bien...

letrec kezaco

Scheme

Discussions similaires

Partager

Partager