Discussion :

[ylarvor]

dans un exercice, on me demande de produire une fonction tel que (int -> int ) -> int, et int -> ( int -> int )

je connais que les fonctions int -> int -> int tel addition x y = x+y;;

pouvez vous me donner une piste ?

de la même manière, on me donne la fonction suivante que je ne comprends pas

#function f -> ( function x -> ( f(x+1) - 1 ));;

qu'est ce qu'elle fait ?

[SpiceGuid]

http://www.developpez.net/forums/d78...es-inferences/

De plus il y a au moins un millier de blogs et de tutoriels pour expliquer ce qu'est l'opérateur → y compris ceux de LLB si tu es plus familier avec F#.

[ylarvor]

Bonjour Spiceguid,

Je suis actuellement un cours de caml au cnam pour comprendre les fondements de la programmation fonctionnelle qui ne sont malheureusement pas innée.
Je découvre avec ton lien qu'une fonction peut renvoyer une fonction. c'est bluffant et un peu déconcertant...
J'aurais donc un peu d'avance sur le cours en sachant que les parenthèse entourant int -> int indique en fait une fonction. merci.

A bientôt.

[SpiceGuid]

Je découvre avec ton lien qu'une fonction peut renvoyer une fonction. c'est bluffant et un peu déconcertant...

Je croyais que tu avais lu F# Expert, ne me dis pas qu'il est naze à ce point ?

[gorgonite]

Je découvre avec ton lien qu'une fonction peut renvoyer une fonction. c'est bluffant et un peu déconcertant...

Je croyais que tu avais lu F# Expert, ne me dis pas qu'il est naze à ce point ?

le chapitre 3 s'appelle Introducing Functional Programming
et à partir de la page 42, tu as un morceau intitulé Introducing Function Values

donc à ton avis ?


sérieux, je suis certes passé un peu vite sur les parties "débutant" mais je n'ai pas vu d'oubli dans la présentation

l'auteur est quand même un académicien sérieux, et on peut attendre le minimum de pédagogie dans ce type d'ouvrage

[ylarvor]

le temps passé depuis septembre sur F# m'a permis d'être assez eveillé en cours au cnam, ce qui est déjà pas si mal. Evidemment, je suis débutant encore pour un moment mais peut être qu'un jour, si je ne décroche pas, j'aurais le niveau!