Bonjour,

je suis débutant en Haskell j'ai un petit soucis,je souhaite r<que vous m'aidez à ésoudre

on me demande de définir une fonction ayant le type suivant :

(a -> b -> c) -> b -> a -> c

j'ai fait ainsi mais ile me manque b -> a que je ne sais pas comment faire :

function (a,b,c)  =c

--le type me donne :
(t1, t, t2) -> t2

questions: déjà je ne sais pas est ce que le a et t c'est la même chose ?

et comment faire pour avoir un t>t1  ? ou b>a.

MERCI

a est le nom de ton paramètre (qui n'a pas de contrainte de type) et t est le nom donné au type par haskell.

Ton prototype indique une fonction prenant 1 fonction (a -> b -> c) et 2 autres valeurs: a et b (c étant le retour). D'après le prototype, la fonction ne fait qu'inverser les 2 paramètres, c'est la fonction flip.

(++) "a" "b" -- ab
flip (++) "a" "b" -- ba