Real Functional Programming