I hope they'll add cool stuff from functional web (continuations, etc.) programming, like in Arc, Ocsigen, Seaside or Ur/Web.

It's interesting, though quite old (I think Hunchentoot's API changed since the article was published).

I don't know how the future of programming language will be, but I hope functional programming will take over the world, more and more people will try to prove their algorithms are correct (with Coq, for exemample) and cool type systems like System F or Dependent Types will be used more.

I use Haskell.