Discussion :

[Maxence45]

Bonsoir , j'ai l'exercice suivant :

Sans utiliser les formes spéciales and et or, ni la fonction not, écrire la fonction booléenne ou de spécification :
;;; ou : bool * bool -> bool
;;; (ou n m) rend true lorsque "n" ou "m" vaut true

J'ai un peu de mal à saisir le sens de l'exercice , on doit faire une multiplication sur 2 types n et m et si l'un des 2 vaut true on rend true ?

Je pense que je vais devoir utiliser des alternatives mais par exemple j'ai un code qui n'a pas de sens :

Code :

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

1
2
3
4
5
6
7
8
(define (Ou n m)
  (* n m)
  (if (= n #t)
      #t
      (if (= m #t)
          #t
          #f))
  )

Je sais que le code marche pas vu que x et y doivent etre de type nombre mais là je suis un peu perdue , si quelqu'un pouvait m'aiguiller...

merci

[GnuVince]

Code :

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

1
2
;;; ou : bool * bool -> bool

Cette notation veut dire une fonction "ou" qui prend deux arguments de types bool et qui retourne un résultat bool. Le * veut pas dire multiplication. Cette notation vient des langages ML, je suis pas sûr ce qu'elle fait dans un exercice en Scheme.

[Jedai]

Code :

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

1
2
;;; ou : bool * bool -> bool

Cette notation veut dire une fonction "ou" qui prend deux arguments de types bool et qui retourne un résultat bool. Le * veut pas dire multiplication. Cette notation vient des langages ML, je suis pas sûr ce qu'elle fait dans un exercice en Scheme.

D'un autre côté, tu peux aussi bien dire qu'elle vient directement du langage mathématique avec le * à la place de X pour des raisons de jeu de caractères : il s'agit simplement de la notation mathématique d'une fonction du produit cartésien de l'ensembles des booléens avec l'ensemble des booléens vers l'ensemble des booléens.

Ta réaction est amusante et trahit un connaisseur des langages fonctionnels...

--
Jedaï

[Maxence45]

une fonction "ou" qui prend deux arguments de types bool et qui retourne un résultat bool

justement , apparemment mon n et m sont directement considérés comme de type number , c'est peut etre du à la multiplication , et je ne vois pas comme dire que n et m sont de type bool .

[alex_pi]

justement , apparemment mon n et m sont directement considérés comme de type number , c'est peut etre du à la multiplication , et je ne vois pas comme dire que n et m sont de type bool .

la notation (bool * bool) -> bool signifie qu'on attend que tu écrives une fonction qui prend en argument deux booléen et qui retourne un booléen, il n'y a pas de multiplication. Pourquoi voudrais-tu multiplier deux booléens ?

Et lis les réponses en partant du principes que les gens ont raison plutôt que l'inverse :-)

[Maxence45]

Et lis les réponses en partant du principes que les gens ont raison plutôt que l'inverse :-)

tu te sens obligé de lécher les modérateurs ? lol tsss

je préfère quitter ce forum c'est saoulant d'avoir toujours des gens pédants et lécheurs qui répondent , merci .

[alex_pi]

tu te sens obligé de lécher les modérateurs ? lol tsss

je préfère quitter ce forum c'est saoulant d'avoir toujours des gens pédants et lécheurs qui répondent , merci .

Bon voyage dans la vie alors. Ammuse toi bien à toujours demander sans jamais chercher et à critiquer sans te remettre en question. Et sois un bon rebelzZ contre la pression inabmissible des modérateurs.

[IveZz]

Tu n'as pas besoin de déclarer que ce sont des bool ou int ou quoi que ce soit, Scheme le sait!

Tu connais la forme cond ? (plus jolie que des if emboités)

Dans ton problème, tu cherches a savoir si l'un ou l'autre des arguments est égal a #t, il te suffit de trouver une primitive qui fasse ca. Cherche des cours sur le net, car il n'y a pas l'air d'avoir grand chose dans ton cours (bizarre bizarre).
Du genre :
Cours de scheme

La premiere ligne de ton prog ne sert a rien, comme dit plus haut ca n'a rien a voir avec une multiplication, le * sert juste a te dire que la fonction prend deux paramètres de type booléen (vrai ou faux). Et puis quand bien même tu devrais multiplier qqchose, ton compilateur calculerait la valeur de n*m et ... c'est tout. Tu ne peux pas faire des opérations comme ca.

[Garulfo]

Tu n'as pas besoin de déclarer que ce sont des bool ou int ou quoi que ce soit, Scheme le sait!

Il serait plus juste de dire que Scheme s'en fout a priori.

---

Bon sinon... juste pour répondre au cas où qqun chercherait la réponse à ce problème

1. Si n est vrai alors le "ou" est vrai
2. Sinon le "ou" vaut m

Je ne donne pas le code pour que cela force un peu à la réflexion des futurs lecteurs La réponse tient en une ligne avec un if.
Ceux qui font ou ont fait du lambda-calcul reconnaîtront la forme du ou logique s'esquisser. Je ne trouve pas cet exercice pertinent cependant. Je doute qu'il enseigne quelqechose de vraiment pertinent dans le contexte d'apprentissage d'un cours de programmation avec du Scheme.