A pure functional language with strong static typing and eager (strict) evaluation