vive_cod4 -> Oui, s'intéresser à la programmation fonctionnelle, même sans but précis autre que de découvrir et d'apprendre à penser différemment, c'est très intéressant et je ne peux que t'inciter à continuer.
Comme l'ont dit justement mes collègues au dessus,la programmation fonctionnelle n'est pas adaptée pour tous les problèmes.
Je pense que pour les problèmes anthropomorphiques, où tu veux représenter des objets du monde réel, qui sont une sorte de ramassis d'attributs mutables, je pense que la programmation orientée objet/impérative reste plus adaptée.
Mais je ne veux pas programmer ce genre de choses :D
Concernant le langage, Ocaml et Haskell sont de très bons choix. Essaye juste d'éviter F# et compagnie. Ocaml et Haskell ont une philosophie assez proche, même si formellement l'expressivité offerte par leur système de type n'est pas exactement le même.
Ocaml est français, donc tu pourras être plus à même de t'en servir en France (particulièrement dans les universités).
Au Royaume-Uni où je suis, et au USA, Haskell est préféré.
Dans tous les cas tu devrais t'amuser !