Title: Imperative to Functional Programming Succinctly