Total_functional_programming