The Function Language