fast modern type-inferring functional programming language descended from the ML (Meta Language) family
