LISP系はいつだって最先端な印象。
HaskelやScalaなどの関数型、Erlangなどの並列型が先進的ともてはやされている感じがする。