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 .