Here is a unique language being developed at my university (The University of Melbourne) by Peter Schachte. I found it quite interesting as it aims to lower the barrier of entry to FP