a functional programming language from Ericsson