La programmation fonctionnelle ?

**Gnux** · 01/07/2006, 11h22

Bonjour
Je suis en train de faire joujou avec Lua. Ce langage propose un paradigme proche de certains langages fonctionnels voire de méta-langage.
Je n'ai jamais abordé ce genre de domaine. Qq'un a t-il une bonne doc ou plutot un bon bouquin expliquant les principaux concepts de ce type de programmation (des bases jusqu'au notions plus avancées) ?
Merci

**Jean-Marc.Bourguet** · 01/07/2006, 11h58

Un peu plus général que ce que tu demandes: http://mitpress.mit.edu/sicp/sicp.html

**Gnux** · 01/07/2006, 15h15

Envoyé par Jean-Marc.Bourguet

Un peu plus général que ce que tu demandes: http://mitpress.mit.edu/sicp/sicp.html

C'est un bon livre c'est vrai. Mais je crois que les langages lisp sont trop difficiles pour moi

En tout cas la puissance qu'offre le fonctionnelle et la possibilité de manipuler les fonctions comme des variables c'est assez impressionnant la puissance que cela peut conférer au programme. On pourrait presque reprogrammer lisp avec lisp (vu de l'extérieur hein...)

**Jedai** · 01/07/2006, 18h34

Lua n'est pas très fonctionnel, non ? A priori de fonctionnel il n'a pratiquement que le fait de pouvoir manipuler les fonctions comme objet de première classe (ce qui est extrèmement courant dans les langages modernes (donc pas en Java...

) ) ? Je me trompe ?

Le plus pur actuellement des langages fonctionnels est probablement Haskell, mais pour une bonne introduction aux langages fonctionnel on peut aussi essayer OCaml (qui est fonctionnel mais permet d'employer d'autres paradigmes également).

Une petite introduction à la programmation fonctionnelle : http://www.defmacro.org/ramblings/fp.html .

--
Jedaï

**Gnux** · 02/07/2006, 09h30

Envoyé par Jedai

Lua n'est pas très fonctionnel, non ? A priori de fonctionnel il n'a pratiquement que le fait de pouvoir manipuler les fonctions comme objet de première classe (ce qui est extrèmement courant dans les langages modernes (donc pas en Java...

) ) ? Je me trompe ?

Non mais déjà pour moi c'est une découverte. J'avoue que je ne pensais pas de telles choses possibles. Je me verrais mal faire ça en C. Le concept est vraiment intéressant non?

Le plus pur actuellement des langages fonctionnels est probablement Haskell, mais pour une bonne introduction aux langages fonctionnel on peut aussi essayer OCaml (qui est fonctionnel mais permet d'employer d'autres paradigmes également).

Une petite introduction à la programmation fonctionnelle : http://www.defmacro.org/ramblings/fp.html .

Et sur Ocaml? Tu n'as pas une bonne intro que je regarde ça de plus près. J'ai regardé Haskell et c'est vraiment un ovni (

)
Merci à toii

**HanLee** · 02/07/2006, 16h05

Envoyé par Gnux

Et sur Ocaml? Tu n'as pas une bonne intro que je regarde ça de plus près. J'ai regardé Haskell et c'est vraiment un ovni (

)
Merci à toii

Salut, moi je peux te donner ça :

Il y a d'abord la documentation officielle (utile, notamment pour la bibliothèque standard) :
http://caml.inria.fr/pub/docs/manual-ocaml/index.html

Ici un cours gratuit en français :

http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/

Et là un wiki OCaml (en anglais) :

http://www.ocaml-tutorial.org/

**gorgonite** · 02/07/2006, 22h01

Envoyé par HanLee

Salut, moi je peux te donner ça :

Il y a d'abord la documentation officielle (utile, notamment pour la bibliothèque standard) :
http://caml.inria.fr/pub/docs/manual-ocaml/index.html

Ici un cours gratuit en français :

http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/

Et là un wiki OCaml (en anglais) :

http://www.ocaml-tutorial.org/

même pas drôle, c'est trop facile pour un taupin... MP spé info qui fait du caml

**Gnux** · 03/07/2006, 10h13

Envoyé par gorgonite

même pas drôle, c'est trop facile pour un taupin... MP spé info qui fait du caml

Je suis pas taupin moi mais par contre je suis le PO... Han Lee est taupin? Ou toi? Si c'est le cas envoie tes références

PS:j'ai fait une khâgne philo option logique/philosophie des mathématiques

**outs** · 03/07/2006, 14h49

Envoyé par Gnux

Je me verrais mal faire ça en C.

Ben pourtant cela se fait par l'intérmédiaire des pointeurs sur fonctions. Pour programmer les callback notament. Mais c'est très rustre par rapport au niveau de finition de Ocaml/Haskel/... pour ce genre de choses.