Functions As Input-Output Machines