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 Typea

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_features_agdalike_holes/ http://www.reddit.com/r/haskell/comments/10u7xr/ghc_head_now... https://news.ycombinator.com/item?id=4380900 https://news.ycombinator.com/item?id=4380900 http://hackage.haskell.org/trac/ghc/wiki/DeferErrorsToRuntime http://hackage.haskell.org/trac/ghc/wiki/DeferErrorsToRuntim...