Journal Choix d'un langage de programmation

Salut,

Je travaille actuellement sur un projet divisé en deux modules :
- un noyau en C++ contenant des primitives de calculs (opérations sur des matrices, calcul vectoriel, ...) ;
- une surcouche dans un langage de haut niveau appelant les primitives C++.

La question est donc la suivante : Quel langage de haut niveau choisir sachant qu'il doit être fonctionnel (la surcouche implémente des équations physiques, donc fonctionnelles), si possible objet et surtout capable de communiquer efficacement avec des bibliothèques en C++ ?

La notoriété du langage n'est pas très importante mais constitue tout de même un plus. Par contre l'idéal serait qu'il soit portable.

Je connais bien l'OCaml et il semble bien répondre à mes besoins. La seule limite concerne apparement ( mais je ne suis pas trop sur car j'ai regardé rapidement la doc ) la communication C++ qui n'existe pas (en fait il ne sait communiquer qu'avec du C). Est-ce exact ?

Qu'en est-il des autres langages de haut niveau : ruby (connait pas du tout), python (pas fonctionnel), java (nan jdéconne ;-) ?

Merci