Discussion :

[Erwane]

Bonjour à tous ,j'ai écrit un prédicat qui renvoie vrai si une liste a au moins 3 éléments :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
(define (longueur? L)
  (and (pair? L)
       (pair? (cdr (cdr L)))))

Il marche bien , sauf quand ma liste contient un seul élement , si je fais :

(longueur (list 1 5 6)) , ça me renvoie bien true , le seul cas pour lequel j'ai une erreur c'est (longueur (list 2)) , donc quand ma liste contient un seul élément , quelqu'un saurez pourquoi ? Meme pour 0 élément ça marche , ya que quand ma liste en contient 1 que ça bug...

merci

[alex_pi]

Je n'ai jamais fait de Scheme de ma vie mais :
avec un peu de chance, le and est paresseux, donc ton premier test fait que le second n'est pas executé si la liste a 0 élément. Dans le cas où la liste en a 2, le second membre du and est faux, donc ça retourne faux. En revanche, si la liste n'a qu'un élément, la première partie du and est vraie, donc il exécute la seconde, et là, plouf, il plante parce qu'il n'arrive pas à appliquer deux fois cdr sur une liste à un seul élément. Il faut donc plutôt faire quelque chose comme

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
(define (longueur? L)
  (and (pair? L)
       (and (pair? (cdr L)) 
              (pair? (cdr (cdr L)))
        )
   )
)

Mais encore une fois, je n'ai jamais fait de Scheme ou de Lisp de ma vie :-)

[GnuVince]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
(define (longueur? xs)
  (>= (length xs) 3))

[Garulfo]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
(define (longueur? L)
  (and (pair? L)
       (pair? (cdr (cdr L)))))

merci

Dans un cas comme ça, il ne faut pas venir demander, mais il faut s'essayer à décomposer ce qui se passe.

Je suppose que tu ne sais pas ce qui se passe quand tu fais

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

(cdr (cdr (list 1)))

Alors essayes le. Ça t'expliquera ce que tu obtiens avec ce genre d'erreur.

Si tu ne fais pas d'essai tout seul tu ne vas pas y arriver -_-

[Erwane]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
(define (longueur? L)
  (and (pair? L)
       (and (pair? (cdr L)) 
              (pair? (cdr (cdr L)))
        )
   )
)

ça ça marche , si si garulfo je sais ce que fait (cdr (cdr (list 1)) , ça doit me renvoyer le reste , du reste d'une liste , mais ici (cdr (list 1)) est déjà vide , donc il ne peut pas y avoir de reste dans une liste vide .

Juste une petite question , un argument de type <pair> ça veut dire quoi précisément ?

[+Guilhem]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
(define (longueur? xs)
  (>= (length xs) 3))

Petite remarque :
Dans le cas d'Erwane je suppose que les listes manipulées sont de petite taille. Mais si on a 1 million d'élément dans la liste, il va falloir tous les parcourir.

[Garulfo]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
(define (longueur? L)
  (and (pair? L)
       (and (pair? (cdr L)) 
              (pair? (cdr (cdr L)))
        )
   )
)

ça ça marche , si si garulfo je sais ce que fait (cdr (cdr (list 1)) , ça doit me renvoyer le reste , du reste d'une liste , mais ici (cdr (list 1)) est déjà vide , donc il ne peut pas y avoir de reste dans une liste vide .

Juste une petite question , un argument de type <pair> ça veut dire quoi précisément ?

Non non tu n'as pas compris. Je n'ai jamais dit que le code de AlexPi n'était pas bon.

AVANT de poster... tu aurais du essayer (cdr (cdr (list 1)) voir que ça lançait une erreur. Ainsi tu aurais compris d'où ça venait. C'est ça reconstruire le terme que tu utilises. « Essayer » veut dire le taper dans l'interpréteur et voir le résultat par soi-même. On apprend par la pratique pas par la lecture.

Tu n'apprendras pas en postant pour ce genre d'erreur, tu apprendras en retrouvant toi-même d'où elle vient. Tu es bon pour la refaire encore dans un avenir proche.