A functional programming language from Ericsson