a functional dynamically typed scripting language