Functional code editor