Bonjour,
Je suis en train d'apprendre un langage informatique et je m'entraine sur des exercices. Là pour chacune des expressions Scheme suivantes je dois indiquer son type et sa valeur de retour. D'après ce que j'ai cru comprendre
pour qu'une fonction soit de type alpha,
-il faut que le nombre d'arguments de l'application soit égal au nombre de types des données de g (lorsque l'expression est une application elle est de la forme (g e1 e2)
-il faut que le type de résultat de g(type qui est donné par la signature de g) soit alpha
- si le type des données de g est x1*b1 (type qui est donné par la signature de g), il faut que l'expression e1( resp.e2) soit de type x1(respB1)
il y a le type Nombre et le type Bool (prédicat).

Donc voilà l'exo avec les expressions dont je dois dire les types et la valeur de retour

1. (= 42 (+2(*8(-8 3))))
2(or(= 3 3) (equal? "3" 3))
3 (and (=3 3 ) (equal? "3" 3))
4 (or (/84) (/4 0))
5 (and (/8 4) (/4 0))

pour la 1 ça donne (8-3)*8+2= 42
donc ça donne comme valeur de retour 42.
Le type est Nombre.

Pour la 2 on a si e1 vérifie 3=3 alors l'expression est vraie et si c'est faux mais que e2 vérifie tout est vrai quand même car il y a or.
Par contre il met equal en point d'interrogation et 3 entre guillemets, donc comme c'est un or, et qu'il y a plus de chance que ce soit vrai que faux qu'avec un and, je met #T et comme type bool.

Pour la 3 c'est la même expression sauf que que c'est un and.
Je crois avoir compris equal? il nous propose une égalité qu'on doit vérifier. Seulement je ne sais pas ce que donne "3" 3 est-ce que "3"=3?
si ce n'est pas le cas alors je met #F et de type bool.

4. On dit si e1vérifie 2 (8/4=2) alors c'est vrai. Or on a 4/0 donc #F et de type bool.
5. C'est pareil #F et de type bool.

Maintenant est-ce que vous êtes d'accord avec mon interprétation?
Sinon pourriez vous me donner des explications supplémentaires j'ai toujours du mal à différencier les variables, des arguments, des types.

En vous remerciant d'avance