Functional compiler description