Je suis fermement convaincu que le typage fort et statique est la clé pour avoir un max de trucs vérifiés à la compilation et des fonctionnalités IDE puissantes (complétion, refactoring, détection de bug).
Pour groovy j'étais un peu refroidi par les performances (c'est peut être plus très actuel comme argument, je ne saurai dire). Tu en as essayé d'autres?