A capable compiler would run by parallelizing the instructions written in FP style code, would wait for the results to be evaluated, and can memorize the result as needed.