A functional programming language based on partial evaluation and explicit inlining opt-out.