The FUNctional programming language