OPAL (OPtimized Applicative Language) is a functional programming language first developed at Technische Universität Berlin.
There is a later framework for static code analysis also called Opal.