A (very brief) into to Functional Programming