State-of-the-art applications of pure functional programming languages (editorial)