[gtani]

   move from perhaps the most dynamic language to what is perhaps the most static?

I don't think this continuum has any meaning, but s/he should look at GHC Typeables, deferred type checking and the type holes work in the "most static"

http://www.reddit.com/r/haskell/comments/10u7xr/ghc_head_now...

https://news.ycombinator.com/item?id=4380900

http://hackage.haskell.org/trac/ghc/wiki/DeferErrorsToRuntim...

[gtani]

Here's where the "most dynamic/static/whatever" probably came from

http://james-iry.blogspot.com/2010/05/types-la-chart.html