ML-like scripting language with lazy evaluation and partial application