Functional Programming Language Definition