Par propre, j'entenda typé statiquement avec un système de type qui tiend la route. Ce n'est pas celui de Haskell, mais pas loins. Sinon c'est un sentiment acquis après de nombreuses heures de programmation à laisse en parti le compilateur réfléchir à ma place.