Needle

An object-oriented functional programming language with static typing with type inference, multiple-dispatch, parametrized modules, and optional keyword arguments.

It could generally be considered to be a mix of ML and Goo.