There's an real conflict between static typing and eval() or reflection. eval() is shown to be usable in a static typing environment by some of Don Stewart's p

There's an real conflict between static typing and eval() or reflection. eval() is shown to be usable in a static typing environment by some of Don Stewart's papers, though it does take more effort on the language implementors' side. Reflection is achieved in Haskell, for example, using reflective type-classes (such as Typeable and Data).