Ouhla

Le lambda-calcul est turing complet
Le lambda-calcul simplement typé n'est pas turing complet
Caml est bien sur turing complet.

Pour vous en convaincre c'est facile essayer de coder...