Voilà je connais plusieurs languages de programmation (Java C/C++ Perl PHP), mais il me reste certains lacunes de "culture générale" que vous pourrez peut être m'aider à combler :
 

• Que signifie "language fonctionnel"  et "language impératif" ??
• Je ne comprends pas la notion de typage statique ou typage dynamique

Il y a également ce texte qui m'a intrigué : "Je travaille actuellement dans le domaine des compilateurs, plus spécifiquement dans la création de compilateurs certifiants. Mon but est de créer un compilateur pour Caml qui produit du bytecode typé (à la façon de Java, mais pour un language fonctionnel polymorphe entièrement typé statiquement). Ceci permet de faire migrer du code de façon sûre, par exemple pour faire des applets."
 

• Qu'est ce qu'un language "polymorphe" ?
• Je ne comprends même pas l'utilité du travail de ce type : quand ça compile et que ça tourne, pkoi a t'on besoin en plus de certifier un bytecode ??

Voilà, vous pouvez participer même si vous ne connaissez qu'une ou deux réponses

réponse courte : google
 
mais j'ai du temps à jeter donc j'ai fais la recherche pour toi    
 
http://fr.wikipedia.org/wiki/Progr [...] ctionnelle
 
pour le typage statique/dynamique, c'est en rapport avec la poo. un objet à un type statique définit au départ, mais tu peux utiliser les fonctions de ses parents (au sens héritage).
 
un langage polymorphe, permet de définir des fonctions génériques (s'appliquant sur plusieurs types qui n'ont pas de liens de parenté)
 
il veut faire du caml à la sauce java, c'est à dire qu'il précompile son caml mais le bytecode généré est portable et peut être exécuté sur n'importe quelle archi/os sans recompilation, du moment il y a une machine virtuelle.

Heu le typage statique dynamique pour moi c'est pas ça. Le typage dynamique ca veut dire que le type d'une variable et défini à la compilation, c'est toi qui le déclare (int i = 5) ; ex : Java, C...
Le typage dynamique c'est quand le type de la variable est résolu à l'execution ; tu ne déclares pas le type c'est l'interpréteur qui le trouve tout seul (i = 5) ; Ex : Python

c'est surtout qu'en statique, la variable est typée.
en dynamique, la variable n'est pas typée mais l'objet référencé par la variable l'est.

 
han mes souvenirs de cours java me disent pas ça, mais en cherchant sur google j'ai trouvé ça aussi.