Haskell 純粋関数型言語は当然学ばなければなりません。 副作用の分離とモナドによる抽象化は本当のプログラマーなら知っておくべきでしょう。 遅延評価のメリット・デメリットとそれを活かしたアルゴリズムも重要です。 Scala オブジェクト指向と関数型の機能を合わせ持ったマルチパラダイム言語のScalaを学ぶことは、あなたにとって新たな知見となるでしょう。 Twitterのインフラで使われるなど実績も十分で、現在のプログラマーにとっては当然のように使えるべき言語の1つです。 Haskellもまたそうですが、Scalaは型が強力なので型レベルプログラミングを学び、コンパイル時のエラー検出について考えてみるのもよいでしょう。 Erlang マルチコアのCPUが当たり前になった現在では、難しい並列処理をいかにして簡潔に実現するのかというのは非常に重要なテーマです。 Erlangは並列処理を念頭に