A Functional Language