(defun factorial (n)
  (if (<= n 1)
    1
    (* n (factorial (- n 1)))))

A part le fait que tous les deux sont fonctionnels, je vois pas trop le rapport avec caml. Le typage dynamique, la notation préfixée, l'évaluation paresseuse : pas grand chose à voir...