Bonsoir
Je n'arrive pas à comprendre les solutions de l'exercice :
Donner le type des des expressions suivantes :
Merci
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23 # fun f x y -> f x y ('a -> 'b -> 'c) -> 'a -> 'b -> 'c = <fun> #fun f g x -> f (g x) ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b = <fun> #fun f x y -> f (x y f) ('a -> 'b) -> ('c -> ('a -> 'b) -> 'a) -> 'c -> 'b = <fun> #fun f x y -> (f x) (y f) ('a -> 'b -> 'c) -> 'a -> (('a -> 'b -> 'c) -> 'b) -> 'c = <fun> #fun f x y -> (f x) y ('a -> 'b -> 'c) -> 'a -> 'b -> 'c = <fun> #fun f x y -> (f x) / (f y) ('a -> int) -> 'a -> 'a -> int = <fun> #fun f x y -> f x,y ('a -> 'b) -> 'a -> 'c -> 'b * 'c = <fun> #fun f x y -> f (x,y) ('a * 'b -> 'c) -> 'a -> 'b -> 'c = <fun>
Partager