Neither of these are truly "new" but maybe new to mainstream? 1.Haskell or "how I learned to stop worrying (about monads) and just do io." Still fighting with

Neither of these are truly "new" but maybe new to mainstream? 1.Haskell or "how I learned to stop worrying (about monads) and just do io." Still fighting with the type system occasionally but I think it's getting better. 2.Erlang - I so love this language. The concurrency support makes me think about programming the way I want to think about programming. I also like that's it's most of the fun of functional programming (Haskell style) but without having to deal with types.