Lazy, dynamically typed, minimalist functional programming language