1. 7

dynamically-typed programming in haskell will, weirdly enough, soon be powered by some extremely smart static types

  1.